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
• AvailLang / Avail
  The Avail programming language. Includes the virtual machine, standard library, and standard examples.
  ☆59Updated 3 weeks ago
• codr4life / snabl
  a Lispy Forth in C++
  ☆26Updated 7 years ago
• krcz / zygote
  Explorations in area of programming languages: concepts, typing, formal verification
  ☆18Updated 4 years ago
• AdaCore / RecordFlux
  Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
  ☆122Updated last month
• bollu / rete
  An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'
  ☆93Updated 5 years ago
• pSpaces / Programming-with-Spaces
  Getting started, manuals and tutorials
  ☆56Updated 2 years ago
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆78Updated 2 years ago
• chkoreff / Fexl
  Function EXpression Language (interpreter for functional programs)
  ☆84Updated 4 months ago
• stokito / fortress-lang
  ☆59Updated 9 years ago
• caminadab / metamine
  A new declarative programming language
  ☆24Updated 5 years ago
• squeak-smalltalk / squeak-app
  Squeak/Smalltalk release bundles
  ☆48Updated 4 months ago
• pchapin / augusta
  A compiler for an Ada-like language
  ☆32Updated 9 months ago
• xclucas / movForth
  LLVM frontend for the Forth Language
  ☆90Updated last year
• smarr / RoarVM
  RoarVM is a manycore Smalltalk Virtual Machine
  ☆244Updated 12 years ago
• bsaleil / lc
  JIT compiler for Scheme targeting x86-64 platforms
  ☆32Updated 6 years ago
• cell-lang / runtime
  Cell language C++ runtime
  ☆18Updated 5 years ago
• DigitalMars / med
  Micro Emacs in D
  ☆90Updated 5 months ago
• organix / mycelia
  A bare-metal actor operating system for Raspberry Pi.
  ☆67Updated last month
• talksmall / Strongtalk
  Strongtalk VM
  ☆103Updated 4 years 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
• adorad / adorad
  Fast, Expressive, & High-Performance Programming Language for those who dare
  ☆64Updated 3 years ago
• sparist / Om
  The Om programming language.
  ☆174Updated last year
• rain-1 / single_cream
  single file scheme interpreter with tail call optimization
  ☆82Updated 6 years ago
• yona-lang / yona
  Yona is a modern take on a dynamic general-purpose programming language with advanced functional programming, minimalistic ML-like syntax…
  ☆133Updated 3 years ago
• cbiffle / ruckus
  Procedural CAD for Weirdos
  ☆54Updated 7 years ago
• MITDDC / clu-1976-1989
  A set of files that can be used to create a working version of an early version of the CLU programming language
  ☆37Updated 3 years ago
• Zag-Research / Zag-Smalltalk
  Smalltalk VM Written in Zig with methods stored as type-annotated ASTs
  ☆152Updated this week
• magicmouse / beads-examples
  Examples of Beads programs
  ☆112Updated 7 months ago
• marekjm / viuavm
  Parallel virtual machine designed to reliably run massively concurrent programs
  ☆70Updated last week