1ml-prime / 1ml

Related projects ⓘ

Alternatives and complementary repositories for 1ml

• kayceesrk / multiMLton
  MLton for scalable multicore architectures
  ☆57Updated 10 years ago
• gfngfn / toy-macro-ml
  An implementation of MacroML [Ganz, Sabry & Taha 2001]
  ☆30Updated 5 years ago
• polytypic / JoinCML
  ☆15Updated 9 years ago
• palladin / idris-snippets
  Collection of Idris snippets
  ☆21Updated 7 months ago
• bmeurer / ocamljit2
  Just-In-Time compiler for the OCaml byte-code runtime.
  ☆32Updated 12 years ago
• JohnReppy / sml-compiler-utils
  A collection of SML utility modules that are useful for compiler writing.
  ☆11Updated 3 years ago
• whitequark / ocaml-llvm-ng
  A practical LLVM backend for OCaml (will never be finished)
  ☆33Updated 10 years ago
• joelburget / lvca
  language verification, construction, and analysis
  ☆20Updated 2 years ago
• ioanluca / real-world-idris
  Malfunction backend for Idris with a FFI to OCaml
  ☆28Updated 5 years ago
• bobatkey / modulog
  A Datalog implementation with an OCaml inspired module system
  ☆44Updated 6 years ago
• rlepigre / pml
  New version of the PML language and (classical) proof assistant
  ☆20Updated 2 years ago
• zinid / delimcc
  Delimited continuations in byte-code and native OCaml
  ☆26Updated 3 years ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated last year
• urweb / upo
  The Ur/Web People Organizer
  ☆29Updated 6 months ago
• elpinal / modules-rs
  An interpreter of F-ing modules
  ☆18Updated 5 years ago
• agda / agda-ocaml
  OCaml backend for Agda
  ☆39Updated 6 years ago
• janestreet / re2
  OCaml bindings for RE2
  ☆43Updated this week
• dbp / funtal
  FunTAL: mixing a functional language with assembly.
  ☆40Updated 7 years ago
• jonsterling / tt
  secret project
  ☆17Updated 6 years ago
• samoht / depyt
  Yet another type combinator library
  ☆54Updated 2 years ago
• plum-umd / adapton.ocaml
  (Nominal) Adapton in OCaml
  ☆50Updated 8 years ago
• whitequark / ocaml-m17n
  Multilingualization for the OCaml source code
  ☆51Updated 5 years ago
• mmottl / aifad
  AIFAD - Automated Induction of Functions over Algebraic Data Types
  ☆30Updated this week
• pedagand / typechecker-evolution
  The Evolution of a Typechecker
  ☆52Updated 5 years ago
• keigoi / ocaml-mpst
  Multiparty Session Types in OCaml
  ☆57Updated last week
• garrigue / certint
  A Certified Interpreter for ML with Structural Polymorphism
  ☆43Updated last year
• c-cube / smbc
  Experimental model finder/SMT solver for functional programming.
  ☆23Updated 2 years ago
• metaocaml / metaocaml-opam
  A repository of MetaOCaml packages
  ☆12Updated last year
• neel-krishnaswami / adjs
  Higher-order FRP compiler
  ☆14Updated 3 years ago