vasilisp / inez

Related projects ⓘ

Alternatives and complementary repositories for inez

• mseri / ocaml-gr
  [wip]…Low level bindigs to the GR plotting framework (gr-framework.org)
  ☆14Updated 3 years ago
• OlivierNicole / macros-examples
  Examples to illustrate the use of experimental OCaml macros
  ☆11Updated 6 years ago
• OCamlPro / ocplib-simplex
  A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities
  ☆13Updated 5 months ago
• jfeser / bitarray
  Fast vectorized bitarrays for OCaml
  ☆15Updated last year
• yallop / metaocaml-syb
  Scrap Your Boilerplate for MetaOCaml with modular implicits
  ☆18Updated 8 years ago
• ocurrent / current_incr
  Self-adjusting computations
  ☆21Updated last year
• LaurentMazare / ocaml.jl
  Prototype code for some Julia-OCaml bindings
  ☆12Updated 3 years ago
• RyanGibb / eon
  Effects-based OCaml Nameserver
  ☆14Updated this week
• nobrakal / asak
  Identifying similar OCaml codes
  ☆29Updated 3 months ago
• Octachron / tensority
  Strongly typed multidimensional array library for OCaml
  ☆51Updated 5 months ago
• backtracking / ocaml-bazaar
  ☆11Updated 2 weeks ago
• ocamllabs / ocaml-memory-model
  ☆27Updated 5 years ago
• owlbarn / owl_ode
  Owl's Differential Equation Solvers
  ☆34Updated 2 years ago
• semgrep / little-learner-ocaml
  ☆14Updated last year
• LaurentMazare / ocaml-matplotlib
  Plotting for ocaml based on matplotlib.pyplot
  ☆31Updated 2 years ago
• c-cube / mc2
  [research] A modular SMT solver in OCaml, based on mcSAT
  ☆39Updated 10 months ago
• witan-org / witan
  An ocaml implementation of conflict-driven reasoning
  ☆15Updated 6 years ago
• kayceesrk / riscv-ocaml-cross
  RISC-V OCaml cross compiler
  ☆14Updated 5 years ago
• freuk / obandit
  ocaml multi-armed bandit module
  ☆18Updated 4 years ago
• frex-project / metaocaml-frex
  ☆20Updated last year
• monadius / ocaml_simple_interval
  A simple and portable floating-point interval arithmetic library in OCaml
  ☆9Updated 2 years ago
• hennequin-lab / gp
  Simple OCaml interface for Gnuplot
  ☆11Updated 3 years ago
• pqwy / ocaml-papi
  Performance Application Programming Interface for OCaml
  ☆16Updated 2 years ago
• OCamlPro / ocamlexc
  OCaml uncaught exception analyser
  ☆12Updated 12 years ago
• polytypic / idle-domains
  Co-operative allocation of domains for OCaml
  ☆14Updated last year
• Chris00 / ocaml-crlibm
  Binding to CRlibm
  ☆14Updated last year
• imandra-ai / vega-lite
  OCaml library to produce vega-lite visualizations (as json objects)
  ☆16Updated 2 years ago
• yurug / ocaml-crontab
  Interacting with cron from OCaml
  ☆11Updated 2 years ago
• dc-mak / NumLin
  NumLin: Linear Types for Linear Algebra
  ☆23Updated last year
• ujamjar / hardcaml-affirm
  Verification tools for HardCaml
  ☆10Updated 6 years ago