patricoferris / riscv-o-spec

Related projects: ⓘ

• PLTools / GT
  Datatype-generic object-oriented transformations for OCaml
  ☆16Updated last month
• Drup / tree_layout
  Algorithms to layout trees in a pretty manner.
  ☆37Updated 2 years ago
• rizo / ocaml-by-example
  Code examples for OCaml.
  ☆10Updated 3 years ago
• savonet / ocaml-duppy
  OCaml asynchronous scheduler and monad for server-oriented programming.
  ☆16Updated 5 months ago
• ocaml / camlp-streams
  The Stream and Genlex libraries for use with Camlp4 and Camlp5
  ☆15Updated 2 years ago
• xavierleroy / ocamlagrep
  String searching with errors, using the Wu-Manber algorithm
  ☆24Updated last year
• zshipko / ocaml-vec
  Example OCaml library written using Rust and ocaml-rs
  ☆16Updated 3 years ago
• OCamlPro / memthol
  Memthol is a visualizer for memory profiling data generated from OCaml programs.
  ☆28Updated last year
• ocurrent / ocurrent-deployer
  A pipeline that deploys unikernels and other services
  ☆23Updated this week
• patricoferris / irmin-socket
  Some fun with creating little collaborative browser things...
  ☆12Updated 3 years ago
• tarides / compiler-hacking
  Compiler Hacking Sessions Information
  ☆12Updated last year
• imandra-ai / ocaml-tracy
  Bindings to the Tracy profiler.
  ☆25Updated this week
• ixy-languages / ixy.ml
  OCaml rewrite of the ixy network driver
  ☆35Updated 3 years ago
• art-w / varray
  Resizable arrays with O(ᵏ√N) insertion and deletion (Tiered Vectors)
  ☆32Updated 9 months ago
• Engil / Toolboy
  A set of tools to work with Gameboy stuff
  ☆13Updated last year
• janestreet / memtrace_viewer
  Interactive memory profiler based on Memtrace
  ☆29Updated 3 weeks ago
• nojb / ocs-ng
  ☆15Updated this week
• patricoferris / jsoo-todo-mvc
  A comparison of Js_of_ocaml libraries for building reactive UIs
  ☆11Updated 2 years ago
• owainlewis / bridge
  A type-safe, stack-based functional programming language
  ☆16Updated 2 years ago
• keigoi / linocaml
  Monad-based linear types in OCaml, with a few syntax extensions
  ☆37Updated 4 years ago
• mirage / irmin-rpc
  RPC client/server for Irmin
  ☆20Updated 3 years ago
• mirage / eqaf
  Constant time equal function to avoid timing attacks in OCaml
  ☆52Updated 2 months ago
• mirage / irmin-rs
  ☆15Updated last year
• talex5 / mirage-trace-viewer
  GTK and HTML viewers for mirage-profile trace files
  ☆21Updated last year
• polytypic / loko-ml
  Lower-Kinded Optics for OCaml
  ☆21Updated last year
• seadynamic8 / ocaml-modern-docs
  Unofficial OCaml Standard Library Docs - Modern Theme
  ☆11Updated 5 years ago
• craff / pacomb
  A parsing library that compiles grammars to combinators using elimination of left recursion
  ☆18Updated 6 months ago
• janestreet / sexplib0
  Library containing the definition of S-expressions and some base converters
  ☆19Updated 3 weeks ago
• ocaml-multicore / uring-trace
  Visualization tool for your IO-uring workload
  ☆14Updated last month
• polytypic / par-ml
  Experimental parallel and concurrent OCaml
  ☆14Updated last year