psosera / myth

Related projects: ⓘ

• yallop / metaocaml-syb
  Scrap Your Boilerplate for MetaOCaml with modular implicits
  ☆18Updated 8 years ago
• nunchaku-inria / nunchaku
  Model finder for higher-order logic
  ☆42Updated 9 months ago
• metaocaml / ber-metaocaml
  Unofficial git mirror of the BER MetaOCaml patchset.
  ☆63Updated last year
• yallop / staged-generic-programming
  Code for "Staged Generic Programming" (ICFP 2017)
  ☆26Updated last year
• c-cube / stimsym
  [toy] A rewriting language similar to the core of Mathematica
  ☆55Updated 2 years ago
• webyrd / linear-logic-multiset-rewriting
  Logic for story telling!
  ☆29Updated 6 years ago
• mshinwell / libmonda
  Make OCaml native debugging awesome
  ☆33Updated 4 years ago
• sweirich / trellys
  Automatically exported from code.google.com/p/trellys
  ☆45Updated 5 years ago
• hazelgrove / HZ
  Simple reference implementation of Hazelnut using js_of_ocaml and OCaml React. (frozen -- ongoing development in the hazel repo)
  ☆29Updated 7 years ago
• ujamjar / hardcaml-zinc
  HardCaml implementation of the OCaml ZINC Abstract Machine
  ☆43Updated 4 years ago
• witan-org / witan
  An ocaml implementation of conflict-driven reasoning
  ☆15Updated 6 years ago
• dsheets / codoc
  OCaml documentation generator
  ☆34Updated 6 years ago
• wilbowma / mttex
  A LaTeX package for formatting meta-theory.
  ☆46Updated 3 years ago
• strymonas / staged-streams.ocaml
  ☆60Updated 5 years ago
• gasche / manual-ocamlbuild
  A new reference manual for the ocamlbuild tool
  ☆67Updated 8 years ago
• uwplse / CoqAST
  Fun plugin to play with the Gallina AST.
  ☆38Updated 4 years ago
• mcimini / Gradualizer
  Supporting tool for Gradual Typing
  ☆16Updated 4 years ago
• arlencox / QUICr
  QUICr parametric abstract domain for sets
  ☆12Updated 9 years ago
• bobatkey / modulog
  A Datalog implementation with an OCaml inspired module system
  ☆44Updated 6 years ago
• david-christiansen / pudding-old
  A language-integrated proof assistant, for and in Racket
  ☆39Updated 8 years ago
• samoht / assemblage
  A collection of tools to manage the configuration of OCaml projects
  ☆54Updated 9 years ago
• ynot-harvard / ynot
  The Ynot Project source code.
  ☆21Updated 10 years ago
• clf / celf
  ☆58Updated 5 years ago
• OlivierNicole / ocaml
  The core OCaml system: compilers, runtime system, base libraries
  ☆22Updated last week
• agda / agda-ocaml
  OCaml backend for Agda
  ☆39Updated 5 years ago
• ocamllabs / icfp2016-blog
  Canopy blog data that powers ICFP liveblog
  ☆17Updated 7 years ago
• halfaya / BayHac
  ☆11Updated 6 years ago
• rizo / ppx_rule
  Compile-time rewrite rules for OCaml
  ☆18Updated 8 years ago
• ISANobody / sill
  ☆28Updated 9 years ago
• Gbury / mSAT
  A modular sat/smt solver with proof output.
  ☆97Updated 8 months ago