jcoglan / kanrens

Related projects ⓘ

Alternatives and complementary repositories for kanrens

• kai-qu / knotation
  Strange Loop 2015 talk: knot notation, enumeration, and drawing
  ☆31Updated 9 years ago
• gigasquid / babar
  A little language for machines with speech acts
  ☆109Updated 5 years ago
• xixixao / Golem
  Shem's powerful IDE.
  ☆62Updated 4 years ago
• Pauan / nulan
  Purely functional statically typed Lisp which compiles to JavaScript
  ☆46Updated 7 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 7 years ago
• tomstuart / kanren
  An example Ruby implementation of μKanren.
  ☆22Updated 5 years ago
• manuel / wat-js
  Concurrency and Metaprogramming for JS
  ☆259Updated 6 years ago
• jhickner / hobbes
  A cross-platform file activity monitor
  ☆72Updated 8 years ago
• goudreinette / forth
  Forth clone in Haskell
  ☆31Updated 7 years ago
• orchid-hybrid / scm--js
  scm->js
  ☆22Updated 9 years ago
• seantalts / hasktrip
  Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.
  ☆23Updated 6 years ago
• HackerFoo / peg
  A lazy non-deterministic concatenative programming language
  ☆55Updated 11 years ago
• cruxlang / crux
  Crux Programming Language
  ☆51Updated 2 years ago
• EarlGray / omit
  A self-hosting subset of git functionality in 500 lines
  ☆13Updated 6 years ago
• bodil / microkanrens
  Implementations of µKanren in assorted languages
  ☆61Updated 8 years ago
• maxsnew / hakyll-elm
  Hakyll wrapper for the Elm (http://elm-lang.org) compiler
  ☆15Updated 10 years ago
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆91Updated 5 years ago
• gravicappa / shen-js
  Shen on javascript.
  ☆68Updated 6 years ago
• jvoigtlaender / Elm-Tutorium
  Elm tutorial held at http://nfa.imn.htwk-leipzig.de/HAL2015/ and in university course http://www.janis-voigtlaender.eu/teaching/ffp15/
  ☆11Updated 8 years ago
• paf31 / mu-kanren
  A step-by-step MicroKanren evaluator
  ☆29Updated 8 years ago
• gregspurrier / shen-ruby
  ShenRuby is a port of the Shen programming language to Ruby
  ☆76Updated 5 years ago
• statement-on-lambdaconf / statement-on-lambdaconf.github.io
  ☆22Updated 7 years ago
• maxsnew / IO
  IO for Elm
  ☆29Updated 9 years ago
• ollef / braces-be-gone
  Get those pesky braces out of your face
  ☆49Updated 7 years ago
• sorellabs / claire
  [Unmaintained: please use jsverify instead] A property-based testing library for clearly specifying code invariants and behaviour.
  ☆79Updated 10 years ago
• Hrothen / Hubert
  Toy web rendering engine in haskell
  ☆33Updated 9 years ago