elenasa / ULAM

Related projects ⓘ

Alternatives and complementary repositories for ULAM

• DaveAckley / MFM
  Movable Feast Machine C++ reference implementation and simulator
  ☆85Updated 3 weeks ago
• DaveAckley / ULAM
  Compiler for MFM programming language
  ☆21Updated 3 weeks ago
• nomyx / Nomyx
  The Nomyx game
  ☆83Updated last year
• chorasimilarity / chemlambda-gui
  Life like molecular computers with artificial chemistry.
  ☆134Updated 2 years ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆134Updated last week
• ProjectMAC / propagators
  The propagator system
  ☆41Updated 8 years ago
• nebogeo / scheme-bricks
  experimental visual programming in scheme for making rave music, uses fluxus
  ☆58Updated 5 years ago
• kai-qu / knotation
  Strange Loop 2015 talk: knot notation, enumeration, and drawing
  ☆31Updated 9 years ago
• alanb2718 / wallingford
  An experimental DSL for handling state and updates, along with constraints, in Rosette.
  ☆50Updated 5 years ago
• urbit / examples
  Urbit examples
  ☆84Updated 3 years ago
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆121Updated 4 years ago
• cannadayr / rsbqn
  An embeddable BQN virtual machine in rust. Stay tuned!
  ☆34Updated 2 years ago
• tca / veneer
  miniKanren in the browser
  ☆56Updated 8 years ago
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆86Updated 9 months ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆27Updated 7 years ago
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆91Updated 5 years ago
• mcclure / emily
  Git mirror of https://bitbucket.org/runhello/emily
  ☆58Updated 4 years ago
• MostAwesomeDude / klesi
  Lojban ologs (categorical databases) using jq
  ☆23Updated 5 years ago
• eriktmueller / daydreamer
  DAYDREAMER goal-based agent
  ☆74Updated 2 years ago
• DaveAckley / SPLAT
  Repository for programming language SPLAT: Spatial Programming Language, Ascii Text
  ☆50Updated 3 years ago
• chrisdone-archive / z
  A strict, impure, curried, partially applied programming language with rather peculiar syntax.
  ☆281Updated 10 years ago
• melsman / apltail
  APL Compiler targeting a typed array intermediate language
  ☆212Updated 2 months ago
• ntoronto / drbayes
  Dr. Bayes
  ☆83Updated 8 years ago
• webyrd / probKanren
  Probabilistic miniKanren
  ☆62Updated 9 years ago
• sparist / Om
  The Om programming language.
  ☆168Updated last month
• mollerse / ait-lang
  Ait - Concatenative language for making visual demos with Canvas
  ☆47Updated 7 years ago
• mbuliga / quinegraphs
  Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).
  ☆19Updated last year
• DaveAckley / T2-12
  Support repository for the T2-12 tile
  ☆42Updated 6 months ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆49Updated 8 years ago
• Pascal-J / type-system-j
  adds an optional type system to J language
  ☆21Updated 8 years ago