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.
  ☆67Updated 2 years ago
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆77Updated 2 years ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆71Updated last year
• bollu / rete
  An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'
  ☆82Updated 4 years ago
• trealla-prolog / trealla
  A compact, efficient Prolog interpreter written in plain-old C.
  ☆296Updated this week
• caminadab / metamine
  A new declarative programming language
  ☆23Updated 4 years ago
• Reschivon / movForth
  LLVM frontend for the Forth Language
  ☆87Updated last year
• t1lang / t1bootstrap
  Bootstrap compiler
  ☆44Updated 6 years ago
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆69Updated 3 months ago
• AdaCore / RecordFlux
  Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
  ☆115Updated last week
• organix / mycelia
  A bare-metal actor operating system for Raspberry Pi.
  ☆68Updated last year
• jsoftware / qtide
  Qt IDE
  ☆45Updated last month
• rewriting / tom
  ☆34Updated 4 years ago
• billwadge / pyLucid
  Book lucid interpreter written in python
  ☆24Updated 5 years ago
• ashermancinelli / cxbqn
  BQN virtual machine
  ☆31Updated last year
• Dyalog / Jarvis
  APL-based web service framework supporting JSON or REST
  ☆36Updated this week
• niallang / Nial_Development
  ☆32Updated 2 years ago
• SWI-Prolog / swipl-wasm
  Run SWI-Prolog in your browser using WebAssemply
  ☆77Updated 2 years ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆42Updated 2 years ago
• georgjz / functional-geometry-gambit-scheme
  A simple implementation based on Peter Henderson's paper "Functional Geometry"
  ☆96Updated 4 years ago
• tobega / tailspin-v0
  A programming language with extreme data-pattern matching and data-declarative syntax, hopefully different enough to be interesting
  ☆41Updated 5 months ago
• nopsys / nopsys
  No Operating System Project, seeking Dan Ingalls' quote: 'Operating Systems should not exist'. This is the generic platform
  ☆29Updated 6 years ago
• smabie / xs
  concatenative array language inspired by kdb/+q
  ☆92Updated 3 years ago
• SOM-st / SOMpp
  SOM++ - C++ implementation of the Simple Object Machine Smalltalk
  ☆15Updated last week
• lokedhs / array
  Simple array language written in kotlin
  ☆46Updated 2 years ago
• wingo / whiffle
  A simple incomplete Scheme-to-C compiler
  ☆67Updated last month
• codr4life / snabl
  a Lispy Forth in C++
  ☆26Updated 6 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 4 years ago
• mthom / scryer-shen
  ☆51Updated 2 weeks ago
• Wodan58 / Moy
  Stackless Joy
  ☆23Updated last month