bfontaine / Katas

Related projects: ⓘ

• Pauan / nulan
  Purely functional statically typed Lisp which compiles to JavaScript
  ☆46Updated 7 years ago
• wyago / Mantra
  ☆17Updated this week
• webyrd / cool-relational-interpreter-examples
  Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work
  ☆14Updated 9 years ago
• kogir / rark
  a Racket language inspired by ARc, by Kogir
  ☆29Updated 11 years ago
• ceylon / ceylon-model
  DEPRECATED
  ☆12Updated 8 years ago
• rlt3 / tree-talk
  exploratory programming for an object system in common lisp
  ☆14Updated 9 years ago
• nasser / rejoyce
  A concatenative programming language inspired by Manfred von Thun's Joy
  ☆24Updated 9 years ago
• wyc / snippets
  ☆52Updated 7 years ago
• technomancy / super-explorer
  2D tile exploring game
  ☆12Updated 9 years ago
• the-little-prover / the-little-prover.github.io
  ☆9Updated 8 years ago
• calvis / kraken
  Prototype of a new constraint-logic programming language in Racket
  ☆28Updated 9 years ago
• mattgreen / learning-language-design
  A series of progressively more complex programming languages
  ☆37Updated 10 years ago
• BookOwl / scratching-forth
  A compiler from Forth to Scratch
  ☆21Updated 8 years ago
• jcoglan / kanrens
  Various implementations of microKanren
  ☆19Updated 7 years ago
• cgrand / parsnip
  parsley is dead, long live parsnip!
  ☆17Updated 10 years ago
• Frege / frege-interpreter
  Frege Interpreter
  ☆14Updated 4 years ago
• webyrd / miniKanren-uncourse
  Code, wiki, and resources for the weekly miniKanren uncourse
  ☆52Updated 9 years ago
• jfo / sild
  Sild is a lisp dialect
  ☆44Updated 6 years ago
• tonyg / marketplace
  Repository has moved: https://git.syndicate-lang.org/syndicate-lang/marketplace-2014
  ☆73Updated 3 years ago
• gravicappa / klvm
  Shen KLambda to KLVM translator.
  ☆29Updated 8 years ago
• arclanguage / rainbow-js
  A JavaScript port of most of Rainbow (conanite's JVM-based Arc implementation).
  ☆20Updated 2 years ago
• dabrady / LittleLogicLangs
  Project files for my paper, "Little Logic Languages for Relational Programming"
  ☆12Updated 4 years ago
• built / wheeler
  Wheeler is a programming language
  ☆42Updated 11 years ago
• gigasquid / babar
  A little language for machines with speech acts
  ☆109Updated 5 years ago
• dylan-lang / http
  HTTP server and client for Dylan
  ☆22Updated 3 months ago
• SOM-st / RPySOM
  RPySOM - The Simple Object Machine Smalltalk implemented in RPython
  ☆15Updated 3 years ago
• divs1210 / Impala
  Simple, extensible bytecode interpreter
  ☆26Updated 8 years ago
• cheery / chartparser
  Chart parser (Earley SPPF)
  ☆26Updated 5 years ago
• cedricbonhomme / iterated-function-systems
  Iterated Function Systems fractals with OCaml.
  ☆35Updated 2 years ago
• VincentToups / racket-lib
  My racket things
  ☆22Updated 12 years ago