Alternatives and similar repositories for blech

Users that are interested in blech are comparing it to the libraries listed below

• blech-lang / blech
  Blech is a language for developing reactive, real-time critical embedded software.
  ☆68Updated 2 years ago
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆77Updated 2 years ago
• caminadab / metamine
  A new declarative programming language
  ☆23Updated 4 years ago
• organix / mycelia
  A bare-metal actor operating system for Raspberry Pi.
  ☆68Updated last year
• chkoreff / Fexl
  Function EXpression Language (interpreter for functional programs)
  ☆82Updated last week
• bollu / rete
  An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'
  ☆85Updated 5 years ago
• Reschivon / movForth
  LLVM frontend for the Forth Language
  ☆89Updated last year
• krcz / zygote
  Explorations in area of programming languages: concepts, typing, formal verification
  ☆18Updated 3 years ago
• tofgarion / spark-by-example
  SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
  ☆162Updated 2 years ago
• codr4life / snabl
  a Lispy Forth in C++
  ☆26Updated 6 years ago
• AvailLang / Avail
  The Avail programming language. Includes the virtual machine, standard library, and standard examples.
  ☆56Updated 3 months ago
• t1lang / t1bootstrap
  Bootstrap compiler
  ☆44Updated 6 years ago
• magicmouse / beads-examples
  Examples of Beads programs
  ☆108Updated 3 weeks ago
• ecky-l / wacl
  A Tcl distibution for WebAssembly or Javascript
  ☆48Updated 8 years ago
• cell-lang / runtime
  Cell language C++ runtime
  ☆18Updated 4 years ago
• stokito / fortress-lang
  ☆56Updated 8 years ago
• pchapin / augusta
  A compiler for an Ada-like language
  ☆33Updated 2 months ago
• cell-lang / compiler
  Cell compiler
  ☆114Updated 2 years ago
• billwadge / pyLucid
  Book lucid interpreter written in python
  ☆24Updated 6 years ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago
• jsoftware / qtide
  Qt IDE
  ☆45Updated last month
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆64Updated last year
• asrp / flpc
  Forth Lisp Python Continuum: A small highly dynamic self-bootstrapping language
  ☆225Updated 3 years ago
• AdaCore / RecordFlux
  Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
  ☆116Updated last week
• plops / cl-cpp-generator
  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
• trealla-prolog / trealla
  A compact, efficient Prolog interpreter written in plain-old C.
  ☆302Updated this week
• pSpaces / Programming-with-Spaces
  Getting started, manuals and tutorials
  ☆53Updated last year
• wingo / whiffle
  A simple incomplete Scheme-to-C compiler
  ☆68Updated 2 weeks ago
• oberon-lang / specification
  The Oberon+ Programming Language Specification
  ☆101Updated last year
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆104Updated 10 months ago