j2kun / art-turing-ellipse

Related projects ⓘ

Alternatives and complementary repositories for art-turing-ellipse

• ColemanGariety / derivation-machine
  Propositional calculus in Haskell
  ☆11Updated 8 years ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆22Updated this week
• yogsototh / learn_haskell
  An attemps to make a document to help learn Haskell
  ☆45Updated 5 years ago
• Ninjacop / BuBBLE
  A DSL/LISP dialect written in Haskell
  ☆21Updated 6 years ago
• rikusalminen / funfun
  A funny toy programming language project
  ☆29Updated 11 years ago
• dritchie / probabilistic-js
  Turning Javascript into a probabilistic programming language
  ☆58Updated 7 years ago
• danhammer / game-theory
  Game theory in Clojure
  ☆18Updated 11 years ago
• nineties / Choco
  MinCaml Compiler implementation by Haskell
  ☆11Updated 13 years ago
• bergey / org-babel-diagrams
  embed haskell diagrams in emacs org-mode files
  ☆10Updated 8 years ago
• ryukinix / lisp-insights
  A personal repository of notes about learning lisp patterns
  ☆15Updated last year
• UniMath / 2006_03_Homotopy_lambda_calculus
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆14Updated 9 years ago
• bgamari / optimization
  Some numerical optimization methods implemented in Haskell
  ☆47Updated 4 years ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• wasamasa / xbm-life
  Graphical implementation of the Game of Life for Emacs
  ☆17Updated 4 years ago
• soegaard / meta
  Exploration of the inner workings of Racket
  ☆19Updated 8 years ago
• darius / toot
  A small language to demo turning an interpreter into a compiler
  ☆11Updated 8 years ago
• JensNevens / Prolog-Scheduling-Problem
  A Scheduling Problem in Prolog
  ☆12Updated 8 years ago
• jasonhemann / miniKanren
  An outdated miniKanren implementation with a not-pairo constraint
  ☆29Updated 10 years ago
• AdrieanKhisbe / spacemacs-anki-deck
  📇 Basic spacemacs Anki deck generator 🗄
  ☆17Updated last year
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆25Updated last year
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆72Updated 6 years ago
• gilbo / baselang
  A collection of demonstration languages in Lua/Terra suitable for learning or for forking when creating a new language
  ☆10Updated 9 years ago
• ryukinix / lisp-inference
  An Inference Engine based on Propositional Calculus written in Common Lisp
  ☆40Updated 5 years ago
• music-suite / music-score
  This repo has been merged into: https://github.com/music-suite/music-suite
  ☆52Updated 4 years ago
• scravy / bed-and-breakfast
  Matrix operations in 100% pure Haskell
  ☆33Updated 11 months ago
• abingham / categories-for-programmers
  A sphinx project for Bartosz Milewski's book "Categories for Programmers"
  ☆15Updated 7 years ago
• mariusae / make-emacs
  simple, self-contained, relocatable emacs
  ☆18Updated 14 years ago
• lanl / APPFL
  Auto-parallelizing Pure Functional Language
  ☆27Updated 5 years ago
• begriffs / algorithm-freezer
  Know your algorithms cold!
  ☆29Updated 8 years ago