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.
  ☆66Updated 2 years ago
• bollu / rete
  An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'
  ☆82Updated 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 3 months ago
• Reschivon / movForth
  LLVM frontend for the Forth Language
  ☆86Updated last year
• oberon-lang / specification
  The Oberon+ Programming Language Specification
  ☆99Updated last year
• mthom / scryer-shen
  ☆46Updated 4 months ago
• wingo / whiffle
  A simple incomplete Scheme-to-C compiler
  ☆67Updated 2 weeks ago
• micron-language / specification
  The Micron Programming Language Specification
  ☆14Updated last week
• Zag-Research / Zag-Smalltalk
  Smalltalk VM Written in Zig with methods stored as type-annotated ASTs
  ☆135Updated this week
• squeak-smalltalk / squeak-app
  Squeak/Smalltalk release bundles
  ☆47Updated 2 months ago
• pchapin / augusta
  A compiler for an Ada-like language
  ☆29Updated this week
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆71Updated last year
• AdaCore / PolyORB
  PolyORB provides a uniform solution to build distributed applications relying either on middleware standards
  ☆21Updated 2 months ago
• t1lang / t1bootstrap
  Bootstrap compiler
  ☆44Updated 5 years ago
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆113Updated 6 years ago
• AdaCore / RecordFlux
  Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
  ☆112Updated 3 weeks 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
• redstar / m2lang
  The LLVM-based Modula-2 compiler
  ☆71Updated 2 months ago
• cell-lang / compiler
  Cell compiler
  ☆113Updated last year
• codr4life / snabl
  a Lispy Forth in C++
  ☆25Updated 6 years ago
• AvailLang / Avail
  The Avail programming language. Includes the virtual machine, standard library, and standard examples.
  ☆55Updated this week
• Componolit / gneiss
  Framework for platform-independent SPARK components
  ☆23Updated 4 years ago
• Dyalog / Jarvis
  APL-based web service framework supporting JSON or REST
  ☆36Updated this week
• rod-chapman / SPARKNaCl
  SPARK 2014 re-implementation of the TweetNaCl crypto library
  ☆118Updated 2 weeks ago
• peterhorne / rrb-tree
  Typescript implementation of Relaxed Radix Balanced Trees
  ☆16Updated 6 months ago
• organix / mycelia
  A bare-metal actor operating system for Raspberry Pi.
  ☆68Updated last year
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆77Updated last year
• trealla-prolog / trealla
  A compact, efficient Prolog interpreter written in plain-old C.
  ☆289Updated this week
• wolfgangj / okami
  okami is an application development platform
  ☆35Updated 7 months ago
• MGreim / ultiboberon
  ☆65Updated 2 years ago