chaosim / dao

Related projects ⓘ

Alternatives and complementary repositories for dao

• jtauber / pykanren
  an attempt to implement miniKanren and microKanren in Python
  ☆53Updated 10 years ago
• SOM-st / RPySOM
  RPySOM - The Simple Object Machine Smalltalk implemented in RPython
  ☆15Updated 3 years ago
• viswanathgs / The-Seasoned-Schemer
  Scheme code snippets from the book "The Seasoned Schemer", by Daniel P. Friedman and Matthias Felleisen.
  ☆13Updated 12 years ago
• abailly / jaskell
  a Haskell clone for the JVM
  ☆11Updated 9 years ago
• gergoerdi / alef
  Alef Lazily Evaluates Functions
  ☆31Updated 11 years ago
• guenchi / Matplotlib
  Matplotlib for Chez Scheme
  ☆25Updated 4 years ago
• thautwarm / LanguageCollections
  programming languages invented/implemented by myself.
  ☆8Updated last year
• rain-1 / chez-match
  A pattern match macro for chez-scheme
  ☆19Updated 7 years ago
• jasonhemann / miniKanren
  An outdated miniKanren implementation with a not-pairo constraint
  ☆29Updated 10 years ago
• aldorlang / aldor
  The Aldor Programming Language
  ☆33Updated 4 months ago
• iovxw / chez-json
  A JSON library for Chez Scheme
  ☆15Updated 7 years ago
• aliceml / aliceml-alice
  Alice ML implementation
  ☆17Updated last year
• jasonhemann / microKanren-shen
  An implementation of microKanren in Shen
  ☆9Updated 9 years ago
• chaosim / daonode
  functional logic solver and compiler
  ☆26Updated 8 years ago
• fare / moll
  My Own Linear Lisp
  ☆36Updated 6 years ago
• soegaard / meta
  Exploration of the inner workings of Racket
  ☆19Updated 8 years ago
• GaloisInc / icfpcontest2015
  The 2015 ICFP Programming Contest
  ☆7Updated 9 years ago
• Milesturing / 4go
  four-country war game (Chinese-4-Stratego), a little practice using Racket to do real-world programming
  ☆8Updated 7 years ago
• texodus / forml
  A programming language
  ☆76Updated 11 years ago
• thautwarm / RBNF
  This project's lifetime has ended. The successor is https://github.com/thautwarm/frontend-for-free which is WIP. You can check lark-parse…
  ☆40Updated 5 years ago
• SWI-Prolog / packages-R
  SWI-Prolog to R Project for Statistical Computing interface
  ☆8Updated 9 years ago
• aliclark / hasp
  A Lisp syntax for Haskell.
  ☆22Updated 12 years ago
• Liutos / cl-github-page
  Static Blog Generator——静态博客生成器
  ☆44Updated 7 years ago
• flavioc / meld
  Meld virtual machine.
  ☆29Updated 8 years ago
• dvanhorn / oaam
  Optimizing Abstract Abstract Machines
  ☆30Updated 7 years ago
• mmaleki / LogicalDifferentiation
  Differentiation in logical form by Stone duality.
  ☆8Updated 7 years ago
• michaelballantyne / homebrew-chez
  Homebrew tap for installing Chez Scheme (https://github.com/cisco/chezscheme)
  ☆14Updated 8 years ago