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
• AdaCore / RecordFlux
  Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
  ☆119Updated last month
• 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
  ☆161Updated 3 years ago
• bollu / rete
  An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'
  ☆85Updated 5 years ago
• codr4life / snabl
  a Lispy Forth in C++
  ☆26Updated 6 years ago
• krcz / zygote
  Explorations in area of programming languages: concepts, typing, formal verification
  ☆18Updated 3 years ago
• tobega / tailspin-v0
  A programming language with extreme data-pattern matching and data-declarative syntax, hopefully different enough to be interesting
  ☆43Updated 8 months ago
• pchapin / augusta
  A compiler for an Ada-like language
  ☆33Updated 4 months ago
• chkoreff / Fexl
  Function EXpression Language (interpreter for functional programs)
  ☆84Updated this week
• Reschivon / movForth
  LLVM frontend for the Forth Language
  ☆90Updated last year
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆77Updated 2 years ago
• t1lang / t1bootstrap
  Bootstrap compiler
  ☆44Updated 6 years ago
• rod-chapman / SPARKNaCl
  SPARK 2014 re-implementation of the TweetNaCl crypto library
  ☆122Updated 6 months ago
• cforall / cforall
  The compiler and standard distribution for the C∀ programming language
  ☆82Updated last week
• AvailLang / Avail
  The Avail programming language. Includes the virtual machine, standard library, and standard examples.
  ☆56Updated 5 months ago
• rochus-keller / Som
  Parser, code model, navigable browser and VM for the SOM Smalltalk dialect
  ☆29Updated 3 years ago
• organix / mycelia
  A bare-metal actor operating system for Raspberry Pi.
  ☆68Updated this week
• rewriting / tom
  ☆34Updated 4 years ago
• cell-lang / runtime
  Cell language C++ runtime
  ☆18Updated 4 years ago
• ecky-l / wacl
  A Tcl distibution for WebAssembly or Javascript
  ☆48Updated 8 years ago
• codelabs-ch / muen
  Official mirror of the Muen Separation Kernel repository
  ☆88Updated 2 weeks ago
• cell-lang / compiler
  Cell compiler
  ☆115Updated 2 years ago
• samuell / awesome-ada
  Awesome resources and other links related to the Ada programming language
  ☆65Updated 5 years ago
• spl / ivy
  A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety
  ☆16Updated 9 years ago
• parasail-lang / parasail
  Parallel Specification and Implementation Language
  ☆45Updated 2 weeks ago
• true-grue / raddsl
  Tools for rapid prototyping of DSL compilers
  ☆86Updated 4 years ago
• rochus-keller / EbnfStudio
  EbnfStudio can be used to edit and analyze EBNF grammars.
  ☆84Updated last year
• adorad / adorad
  Fast, Expressive, & High-Performance Programming Language for those who dare
  ☆64Updated 3 years ago
• tomekw / simple_blockchain
  Simple blockchain in Ada
  ☆21Updated last week
• Componolit / gneiss
  Framework for platform-independent SPARK components
  ☆23Updated 5 years ago