Alternatives and similar repositories for art-turing-ellipse:

Users that are interested in art-turing-ellipse are comparing it to the libraries listed below

• dritchie / probabilistic-js
  Turning Javascript into a probabilistic programming language
  ☆58Updated 7 years ago
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆72Updated 6 years ago
• bgamari / optimization
  Some numerical optimization methods implemented in Haskell
  ☆47Updated 4 years ago
• ColemanGariety / derivation-machine
  Propositional calculus in Haskell
  ☆11Updated 8 years ago
• jmoy / norvig-spell
  Different Implementations of Norvig's spellchecker
  ☆38Updated 10 years ago
• Ninjacop / BuBBLE
  A DSL/LISP dialect written in Haskell
  ☆21Updated 6 years ago
• UniMath / 2006_03_Homotopy_lambda_calculus
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆14Updated 10 years ago
• cyrus- / thesis
  My PhD thesis, titled "Reasonably Programmable Syntax"
  ☆15Updated 6 years ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆22Updated this week
• aditya-khant / neural-assembly-compiler
  A neural assembly compiler for pyTorch based on adaptive-neural-compilation
  ☆27Updated 6 years ago
• scravy / bed-and-breakfast
  Matrix operations in 100% pure Haskell
  ☆33Updated last year
• ryukinix / lisp-insights
  A personal repository of notes about learning lisp patterns
  ☆15Updated last year
• colah / Motivated-Topology
  A topology textbook with a hubristic title
  ☆29Updated 9 years ago
• darius / pythological
  A MiniKanren in Python
  ☆35Updated 8 years ago
• micahhahn / FunctionalGeometry
  A simple implementation of the algebra of pictures in Haskell outlined in Peter Henderson's "Functional Geometry".
  ☆26Updated 7 years ago
• damelang / mico
  Experimental Javascript Environment
  ☆22Updated 15 years ago
• grammarly / gr-parseval
  Implementation of different variants of Parseval metric
  ☆15Updated 10 years ago
• exercism / coq
  Exercism exercises in Coq.
  ☆18Updated 3 months ago
• co-dan / interactive-diagrams
  Interactive-diagrams
  ☆39Updated 9 years ago
• jasonhemann / miniKanren
  An outdated miniKanren implementation with a not-pairo constraint
  ☆30Updated 11 years ago
• mmirman / ImperativeHaskell
  Proof that Haskell can look and act like an imperative language.
  ☆73Updated 12 years ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• colah / Visualizing-Representations
  ☆20Updated 7 years ago
• rikusalminen / funfun
  A funny toy programming language project
  ☆29Updated 12 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• bgamari / bayes-stack
  Framework for Gibbs sampling of probabilistic models
  ☆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
• nshepperd / funn
  Funn: Functional Neural Networks in Haskell
  ☆25Updated 5 years ago
• byorgey / thesis
  Brent's PhD thesis.
  ☆63Updated 8 years ago
• IntelLabs / ParallelJavaScript
  A collection of example workloads for Parallel JavaScript
  ☆26Updated 2 years ago