askvortsov1 / hardcaml-mips

Related projects ⓘ

Alternatives and complementary repositories for hardcaml-mips

• janestreet / hardcaml_verify
  Hardcaml Verification Tools
  ☆12Updated this week
• fyquah / hardcaml_arty
  A hardcaml library to interface with arty boards
  ☆15Updated last year
• janestreet / hardcaml_circuits
  Hardcaml Circuits
  ☆17Updated last month
• ujamjar / hardcaml-llvmsim
  LLVM JIT Cycle Accurate Simulator for HardCaml
  ☆13Updated 7 years ago
• ujamjar / hardcaml-examples
  HardCaml example designs
  ☆18Updated 6 years ago
• tachukao / ocaml-mlir
  OCaml Bindings to MLIR
  ☆13Updated 3 years ago
• c-cube / moonpool
  Commodity thread pools and concurrency primitives for OCaml 5
  ☆53Updated 3 weeks ago
• ahrefs / ocannl
  OCANNL: OCaml Compiles Algorithms for Neural Networks Learning
  ☆67Updated this week
• patricoferris / riscv-o-spec
  An OCaml extension for RISC-V
  ☆16Updated 4 years ago
• smimram / ocaml-alg
  Algebraic structures in OCaml.
  ☆21Updated this week
• owlbarn / tutorial
  Owl Tutorial
  ☆6Updated 4 months ago
• Antique-team / clangml
  OCaml bindings for clang
  ☆23Updated 6 years ago
• dariusf / ppx_debug
  Tools for record-and-replay debugging
  ☆42Updated last year
• jobjo / popper
  Property-based testing at ease
  ☆42Updated 3 years ago
• ianthehenry / ocamlsyntax.com
  How do you do that recursive GADT thing again?
  ☆27Updated 7 months ago
• ocaml-bench / sandmark
  A benchmark suite for the OCaml compiler
  ☆82Updated 2 months ago
• tarides / hackocaml
  OCaml hacking ideas, small and large.
  ☆19Updated 7 months ago
• dinosaure / gilbraltar
  MirageOS on RPi4
  ☆59Updated last year
• jserot / caph
  A language and toolset for implementing dataflow applications on FPGAs
  ☆27Updated 5 years ago
• janestreet / hardcaml_of_verilog
  Convert Verilog to a Hardcaml design
  ☆15Updated last month
• gretay-js / ocamlfdo
  Feedback-directed optimizer for OCaml
  ☆35Updated 3 years ago
• essdotteedot / distributed
  Library to provide Erlang style distributed computations. This library is inspired by Cloud Haskell.
  ☆56Updated 4 years ago
• ocaml-gospel / ortac
  Runtime assertion checking based on Gospel specifications
  ☆38Updated 3 weeks ago
• ujamjar / hardcaml
  [Deprecated see github.com/janestreet/hardcaml] Register Transfer Level Hardware Design in OCaml
  ☆119Updated 3 years ago
• grievejia / pyre-ast
  pyre-ast is an OCaml library to parse Python files. The library features its full-fidelity to the official Python spec, as well as its a…
  ☆39Updated 4 months ago
• ocaml-multicore / multicore-talks
  Repository containing slides and examples from the 2020 OCaml Workshop talk on "Parallelising your OCaml code with Multicore OCaml"
  ☆29Updated last year
• imandra-ai / minisat-ml
  Faithful reimplementation of Minisat 2.2 in OCaml.
  ☆37Updated last year
• whitequark / ocaml-inotify
  OCaml bindings for inotify.
  ☆39Updated 3 months ago
• xavierleroy / camlidl
  Stub code generator for OCaml/C interface
  ☆33Updated 4 months ago
• tarides / ocaml-jit
  Just In Time compiler for OCaml native toplevel
  ☆55Updated 10 months ago