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
• pchapin / augusta
  A compiler for an Ada-like language
  ☆32Updated 8 months ago
• xclucas / movForth
  LLVM frontend for the Forth Language
  ☆90Updated last year
• rochus-keller / Som
  Parser, code model, navigable browser and VM for the SOM Smalltalk dialect
  ☆30Updated 3 years ago
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆78Updated 2 years ago
• tomekw / simple_blockchain
  Simple blockchain in Ada
  ☆21Updated 4 months 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
  ☆163Updated 3 years ago
• samuell / awesome-ada
  Awesome resources and other links related to the Ada programming language
  ☆65Updated 5 years ago
• magicmouse / beads-examples
  Examples of Beads programs
  ☆112Updated 7 months ago
• Zag-Research / Zag-Smalltalk
  Smalltalk VM Written in Zig with methods stored as type-annotated ASTs
  ☆151Updated this week
• cell-lang / runtime
  Cell language C++ runtime
  ☆18Updated 5 years ago
• krcz / zygote
  Explorations in area of programming languages: concepts, typing, formal verification
  ☆18Updated 3 years ago
• rewriting / tom
  ☆34Updated 5 years ago
• AdaCore / PolyORB
  PolyORB provides a uniform solution to build distributed applications relying either on middleware standards
  ☆23Updated 2 months ago
• squeak-smalltalk / squeak-app
  Squeak/Smalltalk release bundles
  ☆48Updated 3 months ago
• niallang / Nial_Development
  ☆33Updated 3 years ago
• chkoreff / Fexl
  Function EXpression Language (interpreter for functional programs)
  ☆84Updated 4 months ago
• tobega / tailspin-v0
  A programming language with extreme data-pattern matching and data-declarative syntax, hopefully different enough to be interesting
  ☆44Updated 2 months ago
• bollu / rete
  An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'
  ☆92Updated 5 years ago
• trealla-prolog / trealla
  A compact, efficient Prolog interpreter written in plain-old C.
  ☆339Updated this week
• rod-chapman / SPARKNaCl
  SPARK 2014 re-implementation of the TweetNaCl crypto library
  ☆128Updated 10 months ago
• jsoftware / qtide
  Qt IDE
  ☆45Updated 3 weeks ago
• pchapin / tutorialada
  An Ada tutorial
  ☆36Updated 10 months ago
• pSpaces / Programming-with-Spaces
  Getting started, manuals and tutorials
  ☆56Updated 2 years ago
• coil-language / coil-lang
  The Coil Programming Language
  ☆33Updated last year
• t1lang / t1bootstrap
  Bootstrap compiler
  ☆44Updated 6 years ago
• ecky-l / wacl
  A Tcl distibution for WebAssembly or Javascript
  ☆87Updated 8 years ago
• wingo / whiffle
  A simple incomplete Scheme-to-C compiler
  ☆74Updated 5 months ago
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆64Updated this week