Alternatives and similar repositories for chemlambda-gui

Users that are interested in chemlambda-gui are comparing it to the libraries listed below

• amintimany / Categories
  A formalization of category theory in the Coq proof assistant.
  ☆99Updated 10 months ago
• luqui / vatican
  A lazy specializing virtual machine for purely functional languages
  ☆101Updated 7 years ago
• elenasa / ULAM
  Compiler for MFM programming language
  ☆59Updated 5 months ago
• melsman / apltail
  APL Compiler targeting a typed array intermediate language
  ☆216Updated last year
• tca / veneer
  miniKanren in the browser
  ☆56Updated 9 years ago
• brandonpelfrey / complex-function-plot
  A WebGL-based Complex Expression Parser and Plotter
  ☆100Updated 9 years ago
• clarus / coq-chick-blog
  🐣 A blog engine written and proven in Coq
  ☆182Updated 5 years ago
• VictorTaelin / optlam
  An optimal function evaluator written in JavaScript.
  ☆138Updated 8 years ago
• flannelhead / blackstar
  A black hole raytracer written in Haskell
  ☆178Updated 3 years ago
• alanb2718 / wallingford
  An experimental DSL for handling state and updates, along with constraints, in Rosette.
  ☆50Updated 6 years ago
• ProjectMAC / propagators
  The propagator system
  ☆41Updated 9 years ago
• ngn / apl
  deleted. i recommend using k instead: https://codeberg.org/ngn/k
  ☆234Updated 4 years ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆169Updated last week
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 10 years ago
• probmods / webchurch
  A Church to Javascript compiler (DEPRECATED)
  ☆141Updated 7 years ago
• jscert / jscert
  A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
  ☆201Updated last year
• pschanely / wildflower-touch
  A Wildflower IDE for touch devices.
  ☆95Updated 9 years ago
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆92Updated 6 years ago
• cgyarvin / urbit
  Urbit: an operating function
  ☆96Updated 8 years ago
• chris-taylor / Classical-Mechanics
  Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.
  ☆88Updated 8 years ago
• sparist / Om
  The Om programming language.
  ☆174Updated 11 months ago
• plum-umd / adapton
  Adapton Project Homepage
  ☆16Updated 9 years ago
• axch / dysvunctional-language
  Running the code you want to write as fast as the code you have to write
  ☆140Updated 8 years ago
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆126Updated 5 years ago
• idris-hackers / idris-koans
  Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Id…
  ☆182Updated 7 years ago
• VictorTaelin / Caramel
  A modern syntax for the λ-calculus.
  ☆413Updated 9 years ago
• talw / crisp-compiler
  A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend
  ☆100Updated 9 years ago
• cdglabs / sketchpad14
  Getting inspiration from Sutherland's 1961 Sketchpad and Overveld's retake on its relaxation technique 30 year after, we are working on a…
  ☆92Updated last year
• Ptival / PeaCoq
  PeaCoq is a pretty Coq, isn't it?
  ☆105Updated 4 years ago
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆130Updated 11 years ago