Alternatives and similar repositories for chemlambda-gui:

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

• luqui / vatican
  A lazy specializing virtual machine for purely functional languages
  ☆101Updated 6 years ago
• elenasa / ULAM
  Compiler for MFM programming language
  ☆59Updated 3 weeks ago
• amintimany / Categories
  A formalization of category theory in the Coq proof assistant.
  ☆95Updated 4 months ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆145Updated 2 months ago
• tca / veneer
  miniKanren in the browser
  ☆55Updated 8 years ago
• melsman / apltail
  APL Compiler targeting a typed array intermediate language
  ☆211Updated 6 months ago
• flannelhead / blackstar
  A black hole raytracer written in Haskell
  ☆171Updated 3 years ago
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆129Updated 10 years ago
• nomyx / Nomyx
  The Nomyx game
  ☆85Updated last year
• clarus / coq-chick-blog
  🐣 A blog engine written and proven in Coq
  ☆178Updated 5 years ago
• dmbarbour / awelon
  Awelon project is a new UI model with a new language.
  ☆103Updated 9 years ago
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 10 years ago
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆121Updated 4 years ago
• duasfl8r / propagator.py
  A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator
  ☆34Updated 12 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…
  ☆177Updated 6 years ago
• VictorTaelin / optlam
  An optimal function evaluator written in JavaScript.
  ☆134Updated 7 years ago
• JeffreyBenjaminBrown / digraphs-with-text
  ☆65Updated 6 years ago
• timjb / quantities
  Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
  ☆159Updated 6 years ago
• chris-taylor / Classical-Mechanics
  Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.
  ☆88Updated 7 years ago
• Ptival / PeaCoq
  PeaCoq is a pretty Coq, isn't it?
  ☆106Updated 3 years ago
• khinsen / leibniz
  Moved to https://codeberg.org/khinsen/leibniz
  ☆281Updated 3 weeks ago
• UniMath / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆242Updated 10 years ago
• bollu / cellularAutomata
  a collection of cellular automata written in Haskell with Diagrams
  ☆187Updated 5 years ago
• blynn / morans
  Get a Brain
  ☆24Updated 5 years ago
• brandonpelfrey / complex-function-plot
  A WebGL-based Complex Expression Parser and Plotter
  ☆100Updated 9 years ago
• alanb2718 / wallingford
  An experimental DSL for handling state and updates, along with constraints, in Rosette.
  ☆50Updated 6 years ago
• Poincare / DCFL
  Communication Free Learning (i.e. constraint solving) implementation in Haskell
  ☆18Updated 9 years ago
• joeltg / grasp
  Visualize Lisp in Three Dimensions
  ☆62Updated 8 years ago
• Gabriella439 / Haskell-Annah-Library
  Distributed programming language that desugars to Morte
  ☆91Updated 2 years ago
• cdglabs / thinglab
  Alan Borning's graphical constraint solver from the late 70s, running on our Smalltalk-78 JavaScript VM.
  ☆104Updated last month