janestreet / hardcaml_circuits

Related projects: ⓘ

• janestreet / hardcaml_verify
  Hardcaml Verification Tools
  ☆13Updated 3 weeks ago
• fyquah / hardcaml_arty
  A hardcaml library to interface with arty boards
  ☆16Updated last year
• askvortsov1 / hardcaml-mips
  ☆34Updated 2 years ago
• craigfe / ppx_irmin
  OCaml PPX extension for automatically generating Irmin types
  ☆11Updated 4 years ago
• tachukao / ocaml-mlir
  OCaml Bindings to MLIR
  ☆13Updated 3 years ago
• backtracking / creal
  An exact real arithmetic (aka constructive reals) for OCaml
  ☆13Updated 3 months ago
• dinosaure / minifiber
  Parallel computation in OCaml - multicore for really poor people
  ☆12Updated 4 years ago
• tarides / ocaml-jit
  Just In Time compiler for OCaml native toplevel
  ☆55Updated 8 months ago
• tarides / compiler-hacking
  Compiler Hacking Sessions Information
  ☆12Updated last year
• nojb / ocs-ng
  ☆15Updated this week
• cedlemo / ctypes-stubs-generation-notes
  OCaml Ctypes stubs generation notes
  ☆19Updated 5 years ago
• hipsleek / Heifer
  effects system for continuation
  ☆16Updated this week
• ujamjar / hardcaml-llvmsim
  LLVM JIT Cycle Accurate Simulator for HardCaml
  ☆13Updated 7 years ago
• kit-ty-kate / opam-build
  Experimental opam plugin
  ☆17Updated 6 months ago
• robur-coop / utcp
  An implementation of the Transmission Control Protocol in OCaml
  ☆29Updated last week
• emillon / gamepad_of_ocaml
  HTML5 Gamepad API bindings for js_of_ocaml
  ☆17Updated 6 years ago
• imandra-ai / ocaml-tracy
  Bindings to the Tracy profiler.
  ☆25Updated this week
• gretay-js / ocamlfdo
  Feedback-directed optimizer for OCaml
  ☆35Updated 3 years ago
• mseri / ocaml-gr
  [wip]…Low level bindigs to the GR plotting framework (gr-framework.org)
  ☆14Updated 3 years ago
• bvaugon / obytelib
  OCaml bytecode library tools
  ☆32Updated 2 years ago
• chetmurthy / ensemble
  The Ensemble distributed communications toolkit
  ☆13Updated 4 years ago
• Drup / modulectomy
  Dissect OCaml compiled programs, and weight their content
  ☆25Updated last year
• Firobe / ocaml-stdint-literals
  Small PPX for fixed size integer literals
  ☆9Updated last year
• anik545 / OwlPPL
  Final Year Project - A probabilisitic programming language in OCaml
  ☆13Updated 4 years ago
• kit-ty-kate / ocaml-monomorphic
  A small library used to shadow polymorphic operators (and functions) contained in the stdlib.
  ☆30Updated last year
• ocaml-multicore / ocaml-iocp
  OCaml bindings to Windows' IOCP API
  ☆17Updated last year
• jserot / caph
  A language and toolset for implementing dataflow applications on FPGAs
  ☆27Updated 5 years ago
• inhabitedtype / bigstringaf
  Bigstring intrinsics and fast blits based on memcpy/memmove
  ☆38Updated 2 months ago
• art-w / varray
  Resizable arrays with O(ᵏ√N) insertion and deletion (Tiered Vectors)
  ☆32Updated 9 months ago
• ujamjar / hardcaml-examples
  HardCaml example designs
  ☆18Updated 6 years ago