boschresearch / blechLinks
Blech is a language for developing reactive, real-time critical embedded software.
☆72Updated 3 years ago
Alternatives and similar repositories for blech
Users that are interested in blech are comparing it to the libraries listed below
Sorting:
- Blech is a language for developing reactive, real-time critical embedded software.☆68Updated 2 years ago
- Formal specification and generation of verifiable binary parsers, message generators and protocol state machines☆116Updated 3 weeks ago
- An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'☆83Updated 5 years ago
- Demo of a WAM Prolog implementation in Python☆77Updated 2 years ago
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- A new declarative programming language☆23Updated 4 years ago
- Cell compiler☆114Updated last year
- The Avail programming language. Includes the virtual machine, standard library, and standard examples.☆56Updated 3 months ago
- another lisp library to generate c/c++ code. this one is supposed to be very simple. note that development of this repo has stopped. i am…☆65Updated 4 years ago
- A programming language with extreme data-pattern matching and data-declarative syntax, hopefully different enough to be interesting☆41Updated 6 months ago
- SPARK 2014 re-implementation of the TweetNaCl crypto library☆121Updated 3 months ago
- Explorations in area of programming languages: concepts, typing, formal verification☆18Updated 3 years ago
- LLVM frontend for the Forth Language☆87Updated last year
- A bare-metal actor operating system for Raspberry Pi.☆68Updated last year
- concatenative array language inspired by kdb/+q☆92Updated 3 years ago
- A Tcl distibution for WebAssembly or Javascript☆48Updated 8 years ago
- Book lucid interpreter written in python☆24Updated 5 years ago
- The Programming Language Céu☆222Updated last year
- A compact, efficient Prolog interpreter written in plain-old C.☆297Updated this week
- Bootstrap compiler☆44Updated 6 years ago
- A simple incomplete Scheme-to-C compiler☆67Updated 2 months ago
- Qt IDE☆45Updated 3 weeks ago
- KL☆11Updated 2 years ago
- APL-based web service framework supporting JSON or REST☆36Updated 3 weeks ago
- A compiler for an Ada-like language☆31Updated last month
- ☆53Updated last month
- A program specification language with a formal syntax and ad-hoc semantics.☆71Updated last year
- Getting started, manuals and tutorials☆52Updated last year
- A Prolog library to connect to PostgreSQL databases☆99Updated last year
- PolyORB provides a uniform solution to build distributed applications relying either on middleware standards☆21Updated 5 months ago