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
• AdaCore / RecordFlux
  Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
  ☆112Updated 3 weeks ago
• mthom / scryer-shen
  ☆48Updated 5 months ago
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆63Updated 10 months ago
• Reschivon / movForth
  LLVM frontend for the Forth Language
  ☆87Updated last year
• 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
• arthwang / vsc-picat
  A VS Code extension supporting for Picat language
  ☆16Updated 6 years ago
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆77Updated last year
• pchapin / augusta
  A compiler for an Ada-like language
  ☆29Updated this week
• t1lang / t1bootstrap
  Bootstrap compiler
  ☆44Updated 5 years ago
• trealla-prolog / trealla
  A compact, efficient Prolog interpreter written in plain-old C.
  ☆295Updated this week
• caminadab / metamine
  A new declarative programming language
  ☆23Updated 4 years ago
• zertovitch / hac
  HAC Ada Compiler - a small, quick Ada compiler fully in Ada
  ☆140Updated last month
• wingo / whiffle
  A simple incomplete Scheme-to-C compiler
  ☆67Updated last week
• ecky-l / wacl
  A Tcl distibution for WebAssembly or Javascript
  ☆48Updated 7 years ago
• AdaCore / PolyORB
  PolyORB provides a uniform solution to build distributed applications relying either on middleware standards
  ☆21Updated 3 months ago
• oberon-lang / specification
  The Oberon+ Programming Language Specification
  ☆100Updated last year
• Zag-Research / Zag-Smalltalk
  Smalltalk VM Written in Zig with methods stored as type-annotated ASTs
  ☆135Updated this week
• ElvisResearchGroup / L42
  L42 main project
  ☆27Updated 5 months ago
• SWI-Prolog / swipl-wasm
  Run SWI-Prolog in your browser using WebAssemply
  ☆77Updated 2 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
  ☆36Updated 2 years ago
• organix / mycelia
  A bare-metal actor operating system for Raspberry Pi.
  ☆68Updated last year
• chkoreff / Fexl
  Function EXpression Language (interpreter for functional programs)
  ☆82Updated 3 months ago
• squeak-smalltalk / squeak-app
  Squeak/Smalltalk release bundles
  ☆47Updated 3 months ago
• AvailLang / Avail
  The Avail programming language. Includes the virtual machine, standard library, and standard examples.
  ☆56Updated 3 weeks ago
• rmacnak / primordialsoup
  An implementation of the Newspeak programming language
  ☆62Updated 2 months ago
• bollu / rete
  An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'
  ☆82Updated 4 years ago
• nikodemus / foolang
  A toy programming language.
  ☆40Updated last year
• soegaard / metapict
  A graphics library for producing Racket picts in a MetaPost/TikZ style.
  ☆68Updated 4 months ago
• udem-dlteam / mimosa
  Minimal operating system for x86 intended as a basis for benchmarking and running Gambit
  ☆88Updated 4 years ago