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.
  ☆95Updated 3 months ago
• luqui / vatican
  A lazy specializing virtual machine for purely functional languages
  ☆101Updated 6 years ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆141Updated last month
• weshoke / versor.js
  A Javascript port of the Versor Geometric Algebra library
  ☆108Updated 9 years ago
• UniMath / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆241Updated 10 years ago
• pschanely / wildflower-touch
  A Wildflower IDE for touch devices.
  ☆95Updated 9 years ago
• melsman / apltail
  APL Compiler targeting a typed array intermediate language
  ☆211Updated 5 months ago
• tca / veneer
  miniKanren in the browser
  ☆55Updated 8 years ago
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆129Updated 10 years ago
• ntoronto / drbayes
  Dr. Bayes
  ☆84Updated 8 years ago
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆121Updated 4 years ago
• dmbarbour / awelon
  Awelon project is a new UI model with a new language.
  ☆102Updated 9 years ago
• jamesdabbs / pi-base.hs
  A Haskell-powered modernization of Counterexamples in Topology
  ☆39Updated 8 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆50Updated 8 years ago
• readevalprintlove / black
  Kenichi Asai's reflective programming language Black
  ☆197Updated 2 years ago
• alanb2718 / wallingford
  An experimental DSL for handling state and updates, along with constraints, in Rosette.
  ☆50Updated 6 years ago
• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆150Updated 3 years ago
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 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
• 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
• nomyx / Nomyx
  The Nomyx game
  ☆85Updated last year
• Ptival / PeaCoq
  PeaCoq is a pretty Coq, isn't it?
  ☆106Updated 3 years ago
• VictorTaelin / optlam
  An optimal function evaluator written in JavaScript.
  ☆132Updated 7 years ago
• elenasa / ULAM
  Compiler for MFM programming language
  ☆59Updated this week
• bennn / mechanics
  (in progress) Racket port of the SICM scmutils library
  ☆34Updated 4 years ago
• hrldcpr / Bezier.hs
  Bézier curves in Haskell
  ☆28Updated 8 years ago
• hnarayanan / sicm
  Working through Structure and Interpretation of Classical Mechanics.
  ☆123Updated 7 months ago
• bollu / cellularAutomata
  a collection of cellular automata written in Haskell with Diagrams
  ☆187Updated 5 years ago
• bmsherman / haskell-matlab
  Matlab bindings and interface for Haskell
  ☆13Updated 4 years ago
• alexandersgreen / qio-haskell
  The Quantum IO Monad, implemented in Haskell
  ☆101Updated 11 months ago