Alternatives and similar repositories for bule

Users that are interested in bule are comparing it to the libraries listed below

• jacylang / jacy
  Jacy programming language
  ☆13Updated 3 years ago
• csb6 / bluebird
  A work-in-progess programming language modeled after Ada and C++
  ☆25Updated 3 years ago
• MintSoup / Carbon
  Carbon programming language
  ☆10Updated 5 months ago
• ethannicholas / Frost
  Frost is a powerful, general purpose, multi-paradigm programming language
  ☆38Updated 3 years ago
• melt-umn / silver
  An attribute grammar-based programming language for composable language extensions
  ☆68Updated last week
• imp-language / imp
  Imp is a statically typed and compiled scripting language with the goal of increasing programmer confidence.
  ☆12Updated 3 years ago
• melt-umn / ableC
  Attribute grammar Based Language Extensions for C
  ☆41Updated 2 months ago
• hakatashi / esolang-box
  Easy and standardized docker images for 200+ esoteric (and non-esoteric) languages.
  ☆75Updated last year
• marijnheule / microsat
  microsat
  ☆141Updated 3 years ago
• JagratPatkar / Boson
  A General-Purpose Programming Language
  ☆10Updated 2 years ago
• curly-lang / curly-lang
  The Curly programming language (now in Rust!)
  ☆31Updated 4 years ago
• gracelang / minigrace
  Self-hosting compiler for the Grace programming language
  ☆42Updated last year
• louis1001 / odo
  My first personal programming language, built in C++.
  ☆11Updated 4 years ago
• ta0kira / zeolite
  Zeolite is a statically-typed, general-purpose programming language.
  ☆19Updated 6 months ago
• egel-lang / egel
  The Egel Programming Language
  ☆83Updated this week
• arminbiere / satch
  SAT Solver SATCH
  ☆120Updated 3 years ago
• asoffer / Icarus
  An experimental general-purpose programming language
  ☆10Updated last year
• pschachte / wybe
  A programming language supporting most of both declarative and imperative programming
  ☆52Updated 2 weeks ago
• usi-verification-and-security / opensmt
  The opensmt solver
  ☆91Updated last week
• peter-frentrup / pMath
  pMath is a programming language similar in spirit to Mathematica (symbolic manipulation & pattern matching) which wants to be a full Comp…
  ☆10Updated 3 weeks ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated last month
• OCamlPro / alt-ergo
  OCamlPro public development repository for Alt-Ergo
  ☆139Updated 2 months ago
• Wafelack / nixt
  Nixt is an interpreted programming language written in Rust
  ☆16Updated 4 years ago
• Mesabloo / snowstar
  Here lies the code for the Snow* programming language, currently being rewritten.
  ☆33Updated 6 years ago
• siko-lang / siko_old
  siko
  ☆14Updated last year
• fennecdjay / libprettyerr
  A C library for displaying informative, clean and readable errors
  ☆25Updated last year
• marijnheule / CnC
  Cube-and-Conquer SAT solver
  ☆42Updated 5 months ago
• gramlang / gram
  A programming language for distributed systems.
  ☆35Updated 2 weeks ago
• kjosib / sophie
  A call-by-need statically-duck-typed language named for French mathematician Sophie Germain
  ☆33Updated 11 months ago
• lyxal / Keg
  A stack-based esolang with condensability as well as simplicity and readability in mind.
  ☆26Updated 4 years ago