freuk / obandit

Related projects: ⓘ

• UnixJunkie / cpmlib
  Classification and Regression Performance Metrics library
  ☆11Updated last year
• metaocaml / metaocaml-opam
  A repository of MetaOCaml packages
  ☆12Updated last year
• barko / bentov
  OCaml implementation of histogram-approximation algorithm
  ☆16Updated last year
• bobatkey / modulog
  A Datalog implementation with an OCaml inspired module system
  ☆44Updated 6 years ago
• yallop / metaocaml-syb
  Scrap Your Boilerplate for MetaOCaml with modular implicits
  ☆18Updated 8 years ago
• foretspaisibles / broken
  Extensible testsuite framework for OCaml
  ☆11Updated 8 years ago
• owlbarn / owl_ode
  Owl's Differential Equation Solvers
  ☆34Updated 2 years ago
• hammerlab / coclobas
  Configurable Cloudy Batch Scheduler
  ☆16Updated 6 years ago
• tabareau / Cocasse
  A library for Gradual Certified Programming in Coq
  ☆9Updated 9 years ago
• Octachron / tensority
  Strongly typed multidimensional array library for OCaml
  ☆52Updated 3 months ago
• umazalakain / session-types-coq
  Formalising session types in Coq
  ☆17Updated 5 years ago
• mirage / metrics
  Infrastructure to collect metrics from OCaml applications.
  ☆46Updated last year
• ziman / idris-ocaml
  OCaml back end for Idris
  ☆22Updated 6 years ago
• igarnier / clustering
  An OCaml clustering library
  ☆21Updated 3 years ago
• pqwy / tpf
  Trivial/Tagless Polytypic Functions
  ☆23Updated 4 years ago
• dc-mak / NumLin
  NumLin: Linear Types for Linear Algebra
  ☆23Updated last year
• amosr / limp
  ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming
  ☆16Updated 5 years ago
• xavierleroy / pringo
  A library of splittable pseudo-random number generators for OCaml
  ☆34Updated 5 months ago
• coq-community / coq-plugin-template
  Template project for Coq plugins using the Dune build system, showcasing some advanced features [maintainer=@ejgallego]
  ☆17Updated last year
• timbertson / opam2nix-packages
  nix expressions for the official opam repository, using opam2nix
  ☆27Updated 3 years ago
• akabe / ppx_bigarray
  A PPX extension for big array literals in OCaml
  ☆20Updated 6 years ago
• yallop / staged-generic-programming
  Code for "Staged Generic Programming" (ICFP 2017)
  ☆26Updated last year
• ocurrent / current_incr
  Self-adjusting computations
  ☆23Updated 11 months ago
• frex-project / metaocaml-frex
  ☆20Updated last year
• nobrakal / asak
  Identifying similar OCaml codes
  ☆30Updated last month
• UnixJunkie / orxgboost
  Gradient boosting for OCaml using the R xgboost package under the carpet
  ☆9Updated 2 years ago
• essdotteedot / sessions
  Library to provide session types to allow for static verification of protocols between concurrent computations.
  ☆17Updated 7 years ago
• pveber / scirep
  Generate a webpage with mathematical formulae, OCaml output and graphics from markdown
  ☆15Updated 2 years ago
• Drup / dowsing
  ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression
  ☆35Updated last week
• jonsterling / hs-abt
  Type safe abstract binding trees for Haskell, using Vinyl
  ☆16Updated 6 years ago