christiankissig / ocaml99

Related projects ⓘ

Alternatives and complementary repositories for ocaml99

• ColemanGariety / derivation-machine
  Propositional calculus in Haskell
  ☆11Updated 8 years ago
• Ninjacop / BuBBLE
  A DSL/LISP dialect written in Haskell
  ☆21Updated 6 years ago
• akeep / abstract-racket
  An abstract machine for analyzing Racket bytecode.
  ☆28Updated 3 years ago
• miniKanren / TheReasonedSchemer
  Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.
  ☆126Updated 11 years ago
• webyrd / webmk
  miniKanren for interactive tutorials on the web
  ☆33Updated 7 years ago
• melsman / aplcompile
  APL compiler written in Standard ML
  ☆35Updated 3 years ago
• compilers-course-materials / cs75-s16-lectures
  ☆41Updated 8 years ago
• pkrumins / the-little-prover
  All code examples from "The Little Prover" book
  ☆23Updated 9 years ago
• webyrd / untitled-relational-interpreter-book
  Relational Programming in miniKanren
  ☆52Updated 9 years ago
• jasonhemann / miniKanren
  An outdated miniKanren implementation with a not-pairo constraint
  ☆29Updated 10 years ago
• stchang / redis
  A redis client for Racket.
  ☆17Updated 9 years ago
• chris-taylor / SICP-in-Haskell
  ☆49Updated 11 years ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆22Updated this week
• mit-plv / timl
  TiML: A Functional Programming Language with Time Complexity
  ☆75Updated 7 years ago
• donaldsonjw / bigloo
  Bigloo Scheme Compiler
  ☆12Updated 8 years ago
• Pauan / nulan
  Purely functional statically typed Lisp which compiles to JavaScript
  ☆46Updated 7 years ago
• billhails / PyScheme
  A small demo lambda-language written in Python
  ☆31Updated 6 years ago
• bmsherman / blog
  ☆41Updated 10 years ago
• gasche / popl2014-papers
  ☆73Updated 10 years ago
• bobzhang / fan
  Compile-time metaprogramming for OCaml
  ☆71Updated 3 months ago
• SMLFamily / The-Definition-of-Standard-ML-Revised
  The Definition of Standard ML, Revised (1997)
  ☆113Updated 7 years ago
• MLton / mltonlib
  The MLtonLibrary repository
  ☆34Updated last year
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 7 years ago
• owainlewis / ocaml-datastructures-algorithms
  Data structures and algorithms in OCaml
  ☆48Updated last year
• aldorlang / aldor
  The Aldor Programming Language
  ☆33Updated 4 months ago
• erjiang / foxscheme
  An R5RS Scheme in JavaScript.
  ☆16Updated last year
• SOM-st / RPySOM
  RPySOM - The Simple Object Machine Smalltalk implemented in RPython
  ☆15Updated 3 years ago
• webyrd / miniKanren-hangout-summaries
  Summaries of intro and advanced miniKanren hangout series
  ☆28Updated 6 years ago
• webyrd / polyconf-2015
  Resources from the Polyconf 2015 talk & relational interpreters workshop
  ☆16Updated 9 years ago
• VictorNicollet / 99-Problems-OCaml
  Solving "99 List Problems" using Objective Caml
  ☆84Updated 6 years ago