boschresearch / blech

Related projects ⓘ

Alternatives and complementary repositories for blech

• blech-lang / blech
  Blech is a language for developing reactive, real-time critical embedded software.
  ☆64Updated last year
• AdaCore / RecordFlux
  Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
  ☆106Updated this week
• t1lang / t1bootstrap
  Bootstrap compiler
  ☆44Updated 5 years ago
• bollu / rete
  An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'
  ☆75Updated 4 years ago
• organix / mycelia
  A bare-metal actor operating system for Raspberry Pi.
  ☆69Updated last year
• pchapin / augusta
  An Ada 2012 compiler in Scala
  ☆28Updated last week
• billwadge / pyLucid
  Book lucid interpreter written in python
  ☆24Updated 5 years ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆41Updated 2 years ago
• newspeaklanguage / newspeak
  Newspeak is a live object-capability language in the Smalltalk tradition
  ☆136Updated this week
• AvailLang / Avail
  The Avail programming language. Includes the virtual machine, standard library, and standard examples.
  ☆54Updated last month
• mthom / scryer-shen
  ☆43Updated 2 weeks ago
• repos-bitc / bitc
  The BitC Programming Language (unofficial, unaffiliated mirror)
  ☆25Updated 12 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
  ☆153Updated 2 years ago
• Reschivon / movForth
  LLVM frontend for the Forth Language
  ☆80Updated 7 months ago
• smabie / xs
  concatenative array language inspired by kdb/+q
  ☆90Updated 2 years ago
• codr4life / snabl
  a Lispy Forth in C++
  ☆23Updated 6 years ago
• ecky-l / wacl
  A Tcl distibution for WebAssembly or Javascript
  ☆48Updated 7 years ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆71Updated last year
• 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
• wingo / whiffle
  A simple incomplete Scheme-to-C compiler
  ☆66Updated last month
• smarr / RoarVM
  RoarVM is a manycore Smalltalk Virtual Machine
  ☆238Updated 11 years ago
• rochus-keller / Som
  Parser, code model, navigable browser and VM for the SOM Smalltalk dialect
  ☆25Updated 2 years ago
• rewriting / tom
  ☆34Updated 4 years ago
• squeak-smalltalk / squeak-app
  Squeak/Smalltalk release bundles
  ☆43Updated last month
• arthwang / vsc-picat
  A VS Code extension supporting for Picat language
  ☆16Updated 6 years ago
• tobega / tailspin-v0
  A programming language with extreme data-pattern matching and data-declarative syntax, hopefully different enough to be interesting
  ☆40Updated 2 months ago
• codelabs-ch / muen
  Official mirror of the Muen Separation Kernel repository
  ☆80Updated this week
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆71Updated last year