bakeware
c-semantics
bakeware | c-semantics | |
---|---|---|
9 | 4 | |
1,397 | 301 | |
0.0% | 0.7% | |
1.8 | 1.8 | |
almost 2 years ago | about 2 years ago | |
C | C | |
GNU General Public License v3.0 or later | GNU General Public License v3.0 or later |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
bakeware
-
Programming language for high performance simulations. Is there anything like this already?
I've not used either of them myself, but I think they fit some of your requirements (simple programs, efficient, events, no memory management). There seem to be libraries for constraint programming. It does run on a VM with a GC though. And while programs can be compiled to binaries, they're not tiny.
-
New Elixir 1.12 – The developer’s point of view
There’s a couple of approaches to this problem going on:
1. Bakeware “bakes” your application together with the entire Erlang/OTP/Beam/Elixir stack into a single binary. Given the “batteries included” philosophy of OTP, these binaries end up being fairly large, but it works: https://github.com/bake-bake-bake/bakeware
2. Lumen compiles Elixir, Erlang and friends into WASM. This will in time enable small fast cross-platform static binaries, but it is not done yet: https://getlumen.org/
- Bakeware: Compile any Elixir application into a single binary
- Compile Elixir applications into single, easily distributed executable binaries
- Bakeware: Compile Elixir applications into single binaries
-
Livebook: A collaborative and interactive code notebook for Elixir
That one is out of date, the one it forked of is not: https://github.com/bake-bake-bake/bakeware
-
Why I don't understand criticism of FP's speed for list transformations
I've read that the Javascript runtime Deno is able to compile to a static binary and has a standard lib that is practically a port of Gos standard library....i feel the static binary deal is quite a game changer today given its portability in devops ....Elixir is able to compile to static binaries as well with bakeware 😊https://github.com/bake-bake-bake/bakeware
-
Elixir Nx. What Do We Know About This Mysterious Project?
It's already possible with https://github.com/bake-bake-bake/bakeware ✌️😊
c-semantics
- The C Bounded Model Checker: Criminally Underused
-
Soufflé: A Datalog Synthesis Tool for Static Analysis
https://github.com/kframework/c-semantics while you can do static analysis with this the dynamic instrumentation of UB isnfar more thorough than ubsan
-
Mildly Interesting Quirks of C
> "Who Says C is Simple?"
People who don't know what "simple" means and confuse it with "easy".
https://www.entropywins.wtf/blog/2017/01/02/simple-is-not-ea...
https://www.infoq.com/presentations/Simple-Made-Easy/
"Easy" things almost always lead to astonishing complexity.
Also it's easy to see just how complex C is: Have a look at a formal description of it! (And compare to a truly simple language like e.g. LISP).
https://github.com/kframework/c-semantics/tree/master/semant...
In contrast some basic Lambda calculus language semantics fit 0.5 of a pages in K.
https://www.youtube.com/watch?v=eSaIKHQOo4c
https://www.youtube.com/watch?v=y5Tf1EZVj8E
-
Programming language for high performance simulations. Is there anything like this already?
I stopped working on it in 2012, but people have continued working on it since then. The current repository is at https://github.com/kframework/c-semantics, but it includes stuff in addition to C; people have started adding C++ semantics as well.
What are some alternatives?
livebook - Automate code & data workflows with interactive Elixir notebooks
cclyzerpp - cclyzer++ is a precise and scalable pointer analysis for LLVM code.
terra - Terra is a low-level system programming language that is embedded in and meta-programmed by the Lua programming language.
taichi - Productive, portable, and performant GPU programming in Python.
AtomVM - Tiny Erlang VM
cbmc - C Bounded Model Checker
bakeware - Compile Elixir applications into single, easily distributed executable binaries. Spawnfest 2020 project winner :trophy:
tis-interpreter - An interpreter for finding subtle bugs in programs written in standard C
efuse_filter - Erlang NIF for Binary Fuse Filter. Fast and Smaller Than Xor Filters.
percival - 📝 Web-based, reactive Datalog notebooks for data analysis and visualization
mate3s-influx-reporter - An InfluxDB reporting system for Outback Power's Mate3s.
Halide - a language for fast, portable data-parallel computation