amnh / poy5

Related projects: ⓘ

• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆34Updated 5 years ago
• pveber / bistro
  A library to build and execute typed scientific workflows
  ☆46Updated 4 months ago
• janestreet / ppx_csv_conv
  Generate functions to read/write records in csv format
  ☆19Updated 3 weeks ago
• ocamllabs / ocaml-effects
  *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers
  ☆27Updated 8 years ago
• Barry-Jay / Intensional-computation
  translations of a lambda abstraction to combinations of operators
  ☆17Updated 5 years ago
• TheClause / learn-prolog
  Bringing Prolog to the masses.
  ☆35Updated 2 years ago
• liamoc / hilbert
  An intensely interactive, graphical theorem prover based on natural deduction
  ☆30Updated 10 years ago
• xavierleroy / ocamlagrep
  String searching with errors, using the Wu-Manber algorithm
  ☆24Updated last year
• janestreet / fieldslib
  OCaml record fields as first class values
  ☆21Updated 3 weeks ago
• domsj / orocksdb
  An OCaml RocksDb binding using ocaml-ctypes
  ☆28Updated 5 years ago
• backtracking / combine
  OCaml library for combinatorics
  ☆35Updated last week
• klakplok / goji
  An OCaml bindings generator for JavaScript libraries
  ☆44Updated 10 years ago
• amnh / ocamion
  Numerical and Combinatorial Optimization Library
  ☆19Updated 10 years ago
• yallop / ocaml-ctypes-inverted-stubs-example
  Example showing how to turn OCaml code (here Xmlm) into a C library.
  ☆43Updated 4 years ago
• jasonhemann / microKanren-shen
  An implementation of microKanren in Shen
  ☆9Updated 9 years ago
• owlbarn / owl_guide
  ☆15Updated this week
• ocaml / ocaml-manual
  OBSOLETE, ARCHIVED mirror of the OCaml manual
  ☆15Updated last year
• biocaml / phylogenetics
  Algorithms and datastructures for phylogenetics
  ☆14Updated 2 months ago
• Ucombinator / parsing-with-zippers
  A clean implementation of Parsing with Zippers.
  ☆36Updated 5 years ago
• xu-hao / QueryArrow
  A semantically unified SQL and NoSQL query and update system
  ☆17Updated 5 years ago
• CategoricalData / HoTT-categories
  A category theory library built on top of Homotopy Type Theory, by Jason Gross
  ☆24Updated 10 years ago
• dc-mak / NumLin
  NumLin: Linear Types for Linear Algebra
  ☆23Updated last year
• andrewray / iocamlserver
  Web server for IOCaml
  ☆22Updated 7 years ago
• odis-labs / order
  Comparison and ordering of ReasonML/OCaml values.
  ☆12Updated 4 years ago
• ziman / bibdris
  BibTeX database management in Idris
  ☆18Updated 10 years ago
• pveber / ocaml-r
  Objective Caml binding embedding the R interpreter
  ☆34Updated 9 months ago
• CategoricalData / catdb
  Category theory in Coq, by Jason Gross
  ☆12Updated 9 years ago
• doublec / shen-wasp
  Port of Shen to run on top of Wasp Lisp
  ☆25Updated 2 years ago
• kyagrd / tiper
  Type Inference Prototyping Engine from Relational specifications of type systems
  ☆11Updated 4 years ago
• kayceesrk / irmin-datatypes
  A collection of functional, mergeable datatypes for Irmin
  ☆12Updated 7 years ago