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.
  ☆65Updated last year
• AdaCore / RecordFlux
  Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
  ☆112Updated last week
• pchapin / augusta
  An Ada compiler
  ☆28Updated this week
• t1lang / t1bootstrap
  Bootstrap compiler
  ☆44Updated 5 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
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆74Updated last year
• Componolit / gneiss
  Framework for platform-independent SPARK components
  ☆23Updated 4 years ago
• codr4life / snabl
  a Lispy Forth in C++
  ☆24Updated 6 years ago
• jsoftware / qtide
  Qt IDE
  ☆45Updated 2 months ago
• billwadge / pyLucid
  Book lucid interpreter written in python
  ☆24Updated 5 years ago
• bollu / rete
  An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'
  ☆81Updated 4 years ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆13Updated 9 years ago
• krcz / zygote
  Explorations in area of programming languages: concepts, typing, formal verification
  ☆18Updated 3 years ago
• lokedhs / array
  Simple array language written in kotlin
  ☆47Updated last year
• 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 last month
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆71Updated last year
• trealla-prolog / go
  Trealla Prolog embedded in Go using WASM
  ☆79Updated this week
• repos-bitc / bitc
  The BitC Programming Language (unofficial, unaffiliated mirror)
  ☆25Updated 12 years ago
• mthom / scryer-shen
  ☆45Updated 3 months ago
• niallang / Nial_Development
  ☆32Updated 2 years ago
• Dyalog / Jarvis
  APL-based web service framework supporting JSON or REST
  ☆36Updated last week
• organix / mycelia
  A bare-metal actor operating system for Raspberry Pi.
  ☆68Updated last year
• smabie / xs
  concatenative array language inspired by kdb/+q
  ☆90Updated 3 years ago
• rod-chapman / SPARKNaCl
  SPARK 2014 re-implementation of the TweetNaCl crypto library
  ☆118Updated last month
• false-schemers / skint
  Cheap and fast R7RS Scheme interpreter
  ☆73Updated 2 weeks ago
• aarroyoc / postgresql-prolog
  A Prolog library to connect to PostgreSQL databases
  ☆96Updated 9 months ago
• pluckyporcupine / fortress
  An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.
  ☆14Updated 2 years ago
• trealla-prolog / trealla
  A compact, efficient Prolog interpreter written in plain-old C.
  ☆285Updated this week
• parasail-lang / parasail
  Parallel Specification and Implementation Language
  ☆32Updated this week