Alternatives and similar repositories for ballerina

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

• ButlerOS / haskell-butler
  ☆90Updated 10 months ago
• abuseofnotation / vanilla-fp
  The no-framework framework for building component-based purely-functional UIs.
  ☆124Updated 7 months ago
• shapr / bloohm
  visual bloom filter to display process status as neotrellis m4 output
  ☆27Updated last year
• NyuB / ocli
  Mini elm-inspired utilities for Ocaml CLI applications
  ☆75Updated 2 months ago
• tatut / pgprolog
  PostgreSQL Prolog language handler
  ☆133Updated last year
• eliot-akira / waxolotl
  A small language that compiles to WebAssembly Text format
  ☆74Updated last year
• jeprinz / pantograph
  ☆92Updated 6 months ago
• kelas / ooj
  the origins of J
  ☆63Updated 2 years ago
• mycweb / mycelium
  Typed Formats for Storing & Transferring Data & Code
  ☆33Updated last month
• rrampage / wart
  A simple Web Assembly Interpreter
  ☆16Updated last year
• stefanrodrigues2 / Prolog-Adventure-game
  Text Adventure game in SWI Prolog.
  ☆101Updated 2 years ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆78Updated last year
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆82Updated 10 months ago
• abuseofnotation / termlisp
  A lisp dialect based on pattern matching and term rewriting
  ☆84Updated 10 months ago
• Dicklesworthstone / introduction_to_temporal_logic
  An introduction to temporal logic and how it can be used to analyze concurrency
  ☆105Updated last year
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆74Updated 2 years ago
• mpatajac / jillc
  Compiler for the Jill programming language (an alternative to Jack from the nand2tetris course)
  ☆79Updated 5 months ago
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆30Updated 2 years ago
• alt-romes / reference-counting
  Reference counting with linear types
  ☆31Updated last year
• coil-language / coil-lang
  The Coil Programming Language
  ☆33Updated last year
• ath92 / renderer
  ☆36Updated 3 weeks ago
• robsimmons / dusa
  A logic programming language that has features of both Datalog and answer set programming.
  ☆117Updated 2 weeks ago
• bugsbugsbux / understanding-j
  An introduction to the J programming language that gets to the point.
  ☆65Updated last month
• dghosef / qdbp
  ☆53Updated last month
• chshersh / pragmatic-category-theory
  Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
  ☆122Updated 8 months ago
• toblotron / praxis-ide
  An online IDE for visual programming in Prolog
  ☆245Updated 2 months ago
• ndrwnaguib / principia
  Rewriting Principia Mathematica in Lean
  ☆134Updated 3 weeks ago
• formancehq / numscript
  Numscript is a Domain-Specific Language (DSL) designed to help you model complex financial transactions, replacing complex and error-pron…
  ☆93Updated this week
• chrispsn / mesh-spreadsheet
  A data and code editor that feels like a spreadsheet.
  ☆162Updated last year
• jamesma100 / randomart
  generate art from a hash
  ☆24Updated last month