strangeloop / StrangeLoop2014

Related projects: ⓘ

• strangeloop / StrangeLoop2015
  ☆64Updated 7 years ago
• strangeloop / StrangeLoop2016
  Strange Loop 2016
  ☆45Updated 7 years ago
• kogir / rark
  a Racket language inspired by ARc, by Kogir
  ☆29Updated 11 years ago
• luqui / vatican
  A lazy specializing virtual machine for purely functional languages
  ☆101Updated 6 years ago
• webyrd / webmk
  miniKanren for interactive tutorials on the web
  ☆32Updated 7 years ago
• jtauber / pykanren
  an attempt to implement miniKanren and microKanren in Python
  ☆53Updated 10 years ago
• larsyencken / marelle
  Test-driven system administration with a little extra logic.
  ☆387Updated 5 years ago
• strangeloop / StrangeLoop2013
  Strange Loop 2013
  ☆322Updated 10 years ago
• commercialhaskell / stackage-server
  Server for stable, curated Haskell package sets
  ☆106Updated 3 months ago
• greghendershott / aws
  Racket support for Amazon Web Services.
  ☆78Updated 2 months ago
• christiankissig / ocaml99
  99 Problems in OCaml
  ☆23Updated 8 years ago
• Pauan / nulan
  Purely functional statically typed Lisp which compiles to JavaScript
  ☆46Updated 7 years ago
• idris-hackers / idris-java
  Java Code Generator for Idris
  ☆71Updated 8 years ago
• 0xmohit / talks
  A collection of interesting talks
  ☆32Updated 7 years ago
• LambdaCon / 2015
  Slides and sources from LambdaCon 2015 edition.
  ☆43Updated 4 years ago
• gigasquid / babar
  A little language for machines with speech acts
  ☆109Updated 5 years ago
• Porges / programming-history
  Inspired by Cajori’s A History of Mathematical Notations, and/or TV Tropes.
  ☆45Updated 6 years ago
• fogus / codd
  a relational algebra library for JavaScript
  ☆59Updated 9 years ago
• bodil / microkanrens
  Implementations of µKanren in assorted languages
  ☆60Updated 8 years ago
• Frege / frege-repl
  Frege REPL
  ☆77Updated 5 years ago
• webyrd / miniKanren-uncourse
  Code, wiki, and resources for the weekly miniKanren uncourse
  ☆52Updated 9 years ago
• idris-lang / idris-tutorial
  A tutorial to the Idris Programming Language.
  ☆95Updated 8 years ago
• afronski / sicp-examples
  Examples from "Structure and Interpretation of Computer Programs" in different languages.
  ☆26Updated 8 years ago
• webyrd / cool-relational-interpreter-examples
  Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work
  ☆14Updated 9 years ago
• fogus / himera
  ☆279Updated 6 years ago
• WallarooLabs / pony-kafka
  Pure Pony Kafka client
  ☆57Updated 5 years ago
• aaron-lebo / prose
  a simple language inspired by Io and Ioke that compiles to Clojure and ClojureScript
  ☆52Updated 9 years ago
• bodil / catnip
  A web based Clojure IDE
  ☆349Updated 9 years ago
• joearms / old.blog
  blog
  ☆72Updated 7 years ago