blech-lang / blechLinks
Blech is a language for developing reactive, real-time critical embedded software.
☆69Updated 2 years ago
Alternatives and similar repositories for blech
Users that are interested in blech are comparing it to the libraries listed below
Sorting:
- Generate (message) sequence diagrams from TLA+ state traces☆74Updated 2 years ago
- A bare-metal actor operating system for Raspberry Pi.☆67Updated 3 weeks ago
- a 64-bit histogram / quantile sketch☆59Updated last year
- Zig library for HyperLogLog estimation☆91Updated last year
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆16Updated 9 years ago
- Blech is a language for developing reactive, real-time critical embedded software.☆71Updated 3 years ago
- Idol, an IDL and binary encoding for zero-copy local IPC☆50Updated last year
- Kamby Language☆74Updated 3 months ago
- Small expect-like library, clone of http://git.annexia.org/?p=miniexpect.git;a=summary☆69Updated 3 years ago
- Small, simple, expression-oriented programming language.☆31Updated this week
- Multi-Array Queue program codes☆76Updated 7 months ago
- One-pass Code Generation in V8 (Archive)☆20Updated 3 years ago
- Explorations in area of programming languages: concepts, typing, formal verification☆18Updated 3 years ago
- A simplified subset of C transpiled into Web Assembly☆105Updated 3 years ago
- Trealla Prolog embedded in Go using WASM☆80Updated 2 weeks ago
- An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'☆90Updated 5 years ago
- A small language that compiles to WebAssembly Text format☆74Updated last year
- building and applying patches to binary files☆75Updated 5 months ago
- Compact garbage-collected heap and JSON-like object model☆81Updated 2 years ago
- Integer Map Data Structure☆133Updated 2 years ago
- GitHub copy of the NTS/TeX source code from 2001☆32Updated 4 years ago
- Brzozowski derivative python sketch☆85Updated 9 months ago
- Framework for Effortless Language Servers with Language Servers for SOM, SOMns, and SimpleLanguage☆20Updated 2 years ago
- Lisp like, embeddable and extendable scripting language supporting go interoperability☆36Updated last year
- HypergraphZ - A Hypergraph Implementation in Zig☆110Updated this week
- A mirror of https://git.sr.ht/~grego/sumtypes.h☆76Updated 11 months ago
- A compiler for a Scheme-like language. Currently, the goal is not full standards-compliance but rather to implement a compiler that is us…☆13Updated 11 months ago
- ☆59Updated 3 years ago
- µON - a compact and simple binary object notation☆268Updated 3 years ago
- Simple, general, human-sympathetic binary data format☆107Updated 2 years ago