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.
  ☆69Updated 2 years ago
• AdaCore / RecordFlux
  Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
  ☆122Updated 3 weeks ago
• krcz / zygote
  Explorations in area of programming languages: concepts, typing, formal verification
  ☆18Updated 3 years ago
• AvailLang / Avail
  The Avail programming language. Includes the virtual machine, standard library, and standard examples.
  ☆59Updated 7 months ago
• cell-lang / compiler
  Cell compiler
  ☆115Updated 2 years ago
• 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 5 years ago
• adorad / adorad
  Fast, Expressive, & High-Performance Programming Language for those who dare
  ☆64Updated 3 years ago
• magicmouse / beads-examples
  Examples of Beads programs
  ☆112Updated 5 months ago
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆79Updated 2 years ago
• pchapin / augusta
  A compiler for an Ada-like language
  ☆32Updated 6 months ago
• chkoreff / Fexl
  Function EXpression Language (interpreter for functional programs)
  ☆84Updated last month
• organix / mycelia
  A bare-metal actor operating system for Raspberry Pi.
  ☆67Updated 2 months ago
• jamespwilliams / prolog-isolation-checker
  An encoding of the UK's self-isolation rules in Prolog
  ☆34Updated 4 years ago
• tobega / tailspin-v0
  A programming language with extreme data-pattern matching and data-declarative syntax, hopefully different enough to be interesting
  ☆43Updated last week
• bollu / rete
  An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'
  ☆89Updated 5 years ago
• codr4life / snabl
  a Lispy Forth in C++
  ☆26Updated 7 years ago
• ecky-l / wacl
  A Tcl distibution for WebAssembly or Javascript
  ☆86Updated 8 years ago
• xclucas / movForth
  LLVM frontend for the Forth Language
  ☆90Updated last year
• stokito / fortress-lang
  ☆57Updated 8 years ago
• racket / zuo
  A tiny Racket for scripting
  ☆303Updated 3 months ago
• jjyr / jonesforth_riscv
  Jonesforth RISC-V port.
  ☆62Updated 4 years ago
• trealla-prolog / trealla
  A compact, efficient Prolog interpreter written in plain-old C.
  ☆321Updated last week
• georgjz / functional-geometry-gambit-scheme
  A simple implementation based on Peter Henderson's paper "Functional Geometry"
  ☆96Updated 4 years ago
• cell-lang / runtime
  Cell language C++ runtime
  ☆18Updated 5 years ago
• WheretIB / nullc
  Fast C-like programming language with advanced features
  ☆167Updated 3 years ago
• pSpaces / Programming-with-Spaces
  Getting started, manuals and tutorials
  ☆55Updated last year
• chrisseaton / katahdin
  A programming language where the syntax and semantics are mutable at runtime
  ☆169Updated 13 years ago
• t1lang / t1bootstrap
  Bootstrap compiler
  ☆44Updated 6 years ago
• smarr / RoarVM
  RoarVM is a manycore Smalltalk Virtual Machine
  ☆244Updated 12 years ago
• henriquegogo / kamby
  Kamby Language
  ☆74Updated 2 months ago