Alternatives and similar repositories for iracket

Users that are interested in iracket are comparing it to the libraries listed below

• andrewray / iocamljs
  An OCaml javascript kernel for the IPython notebook
  ☆58Updated 8 years ago
• ocamllabs / compiler-hacking
  Wiki for compiler hacking sessions
  ☆90Updated 8 years ago
• seliopou / ocaml-d3
  OCaml bindings for D3.js
  ☆75Updated 7 years ago
• ynot-harvard / ynot
  The Ynot Project source code.
  ☆22Updated 11 years ago
• gasche / popl2018-papers
  Link to preprints for POPL'18 and colocated events
  ☆86Updated 7 years ago
• TheoWinterhalter / formal-type-theory
  Formalising Type Theory in a modular way for translations between type theories
  ☆95Updated 8 years ago
• maximedenes / native-coq
  Coq with native compilation, as well as machine integers and arrays !
  ☆63Updated 7 years ago
• coq-io / io
  A library for effects in Coq.
  ☆65Updated 3 years ago
• aa755 / ROSCoq
  Robots powered by Constructive Reals
  ☆34Updated 8 years ago
• ygrek / ocaml-extlib
  Extended Standard Library for OCaml
  ☆75Updated last year
• mmottl / ocaml-prog-pats
  OCaml Programming Patterns - random tricks, "design patterns", etc.
  ☆52Updated 6 months ago
• janestreet / async_kernel
  Jane Street Capital's asynchronous execution library (core)
  ☆57Updated 3 weeks ago
• logic-tools / sml-handbook
  SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
  ☆36Updated 9 years ago
• janestreet / incremental_kernel
  Library for incremental computations depending only on Core_kernel
  ☆47Updated 7 years ago
• djs55 / ocaml-c3
  OCaml bindings for the Javascript c3 charting library
  ☆30Updated 6 years ago
• arthuraa / poleiro
  A blog about Coq
  ☆46Updated 3 years ago
• yallop / metaocaml-syb
  Scrap Your Boilerplate for MetaOCaml with modular implicits
  ☆17Updated 10 years ago
• ocaml / oasis
  Cabal like system for OCaml
  ☆128Updated 5 years ago
• gasche / popl2017-papers
  Link to preprints for POPL'17 and co-located events
  ☆101Updated 8 years ago
• coq-io / system
  Library of Unix effects for Coq.
  ☆23Updated 6 years ago
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆51Updated 11 years ago
• plum-umd / adapton.ocaml
  (Nominal) Adapton in OCaml
  ☆57Updated 9 years ago
• agda-attic / agda-ocaml
  OCaml backend for Agda
  ☆39Updated 7 years ago
• bmsherman / topology
  Formal topology (and some probability) in Coq
  ☆31Updated 7 years ago
• m2ym / ocaml-pythonlib
  OCaml library for parsing and pretty printing Python code
  ☆38Updated 10 years ago
• metaocaml / ber-metaocaml
  Unofficial git mirror of the BER MetaOCaml patchset.
  ☆70Updated 9 months ago
• tomjridge / tjr_simple_earley
  Simple implementation of a parsing algorithm inspired by Earley
  ☆15Updated 3 years ago
• mmottl / ocaml-makefile
  Easy to use Makefile for small to medium-sized OCaml-projects
  ☆80Updated 6 months ago
• ocsigen / macaque
  ☆38Updated 6 years ago
• nunchaku-inria / nunchaku
  Model finder for higher-order logic
  ☆50Updated 2 months ago