elenasa / ULAM

Related projects ⓘ

Alternatives and complementary repositories for ULAM

• DaveAckley / MFM
  Movable Feast Machine C++ reference implementation and simulator
  ☆85Updated 2 weeks ago
• DaveAckley / ULAM
  Compiler for MFM programming language
  ☆21Updated 2 weeks ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆134Updated 2 weeks ago
• chorasimilarity / chemlambda-gui
  Life like molecular computers with artificial chemistry.
  ☆134Updated 2 years ago
• nomyx / Nomyx
  The Nomyx game
  ☆83Updated last year
• ProjectMAC / propagators
  The propagator system
  ☆41Updated 8 years ago
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆121Updated 4 years ago
• ntoronto / drbayes
  Dr. Bayes
  ☆83Updated 8 years ago
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆67Updated 7 years ago
• MostAwesomeDude / klesi
  Lojban ologs (categorical databases) using jq
  ☆23Updated 5 years ago
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆14Updated 4 years ago
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆91Updated 5 years ago
• athas / diving-beet
  A port of Falling Turnip from Haskell to Futhark and Go
  ☆23Updated this week
• alanb2718 / wallingford
  An experimental DSL for handling state and updates, along with constraints, in Rosette.
  ☆50Updated 5 years ago
• olynch / Catlab.jl
  A framework for applied category theory in the Julia language
  ☆11Updated 2 years ago
• chrisdone-archive / z
  A strict, impure, curried, partially applied programming language with rather peculiar syntax.
  ☆281Updated 10 years ago
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆86Updated 9 months ago
• DaveAckley / SPLAT
  Repository for programming language SPLAT: Spatial Programming Language, Ascii Text
  ☆50Updated 3 years ago
• ntoronto / pict3d
  3-dimensional picts
  ☆113Updated last year
• webyrd / probKanren
  Probabilistic miniKanren
  ☆61Updated 9 years ago
• conal / shady-gen
  Functional GPU programming - DSEL & compiler
  ☆22Updated 8 years ago
• kai-qu / knotation
  Strange Loop 2015 talk: knot notation, enumeration, and drawing
  ☆31Updated 9 years ago
• duasfl8r / propagator.py
  A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator
  ☆34Updated 12 years ago
• tca / veneer
  miniKanren in the browser
  ☆56Updated 8 years ago
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆129Updated 10 years ago
• webyrd / linear-logic-multiset-rewriting
  Logic for story telling!
  ☆32Updated 6 years ago
• melsman / apltail
  APL Compiler targeting a typed array intermediate language
  ☆212Updated 2 months ago
• trillioneyes / idris-pong
  A browser Pong game, taking advantage of Idris's ability to compile to javascript.
  ☆18Updated 9 years ago
• tangentstorm / mandelbrowse
  A visual Mandelbrot set explorer written in J
  ☆11Updated 3 years ago