MLstate / birdy

Related projects: ⓘ

• ocaml / ocaml-manual
  OBSOLETE, ARCHIVED mirror of the OCaml manual
  ☆15Updated last year
• texodus / forml
  A programming language
  ☆76Updated 11 years ago
• eatonphil / libocamurl
  ☆13Updated this week
• talex5 / irmin-js
  Javascript bindings for Irmin
  ☆31Updated 8 years ago
• the-little-prover / the-little-prover.github.io
  ☆9Updated 8 years ago
• wyc / snippets
  ☆52Updated 7 years ago
• seanjensengrey / picolisp
  Minimalist-lisp interpreter implementation for UNIX-like systems.
  ☆10Updated 9 years ago
• OCamlPro / ocpwin-distrib
  Knowledge Database for OCamlPro's version of OCaml on Windows
  ☆33Updated 8 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆43Updated 9 years ago
• hikari-no-yume / Firth
  Firth is a functional, strongly dynamically-typed, concatenative stack-oriented programming language.
  ☆29Updated 9 years ago
• jeapostrophe / zeromq
  FFI to zeromq
  ☆12Updated 2 years ago
• nineties / Choco
  MinCaml Compiler implementation by Haskell
  ☆11Updated 12 years ago
• brownplt / strobe
  The Strobe Type Checker for JavaScript
  ☆15Updated 12 years ago
• eatonphil / ocalc
  ☆14Updated this week
• zoggy / chamo
  ☆11Updated this week
• zoggy / ocaml-rdf
  ☆16Updated this week
• janestreet / core_extended
  Jane Street Capital's standard library overlay
  ☆34Updated 3 weeks ago
• SOM-st / RPySOM
  RPySOM - The Simple Object Machine Smalltalk implemented in RPython
  ☆15Updated 3 years ago
• afeinberg / ocaml-tinylisp
  An absurdly tiny Lisp interpreter in OCaml
  ☆30Updated 12 years ago
• haskell / xhtml
  XHTML combinator library
  ☆9Updated 2 months ago
• samoht / dog
  A loyal and faithful synchronisation tool that you can rely on.
  ☆47Updated 8 years ago
• ocamllabs / 2048-tutorial
  OCaml tutorial based on the 2048 game
  ☆49Updated 7 years ago
• patrickt / nuki
  A pure-Nu wiki based on Nunja, Git, and NuMarkdown
  ☆27Updated 16 years ago
• billsix / bug
  Bill's Utilities for Gambit Scheme
  ☆17Updated 3 years ago
• GaloisInc / mistral
  An interpreter for the Mistral language.
  ☆19Updated 7 years ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆14Updated 6 years ago
• OCamlPro / opam
  OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints,…
  ☆20Updated 2 years ago
• WebAssembly / semantics-prototype
  ☆17Updated this week
• samoht / mirage-seal
  Sealing local directories into Mirage Unikernels
  ☆29Updated 8 years ago
• berke / aurochs
  Aurochs is a parser generator that uses the parse expression grammar (PEG) or "packrat" approach. It takes a grammar in a BNF-like notat…
  ☆45Updated 10 months ago