Alternatives and similar repositories for syrup-backend:

Users that are interested in syrup-backend are comparing it to the libraries listed below

• mariaschett / ppltr
  A PoPuLaToR for a PeePhoLe opTimizeR
  ☆12Updated 3 years ago
• mariaschett / sorg
  SuperOptimization based Rule Generation
  ☆12Updated 4 years ago
• juliannagele / ebso
  EVM Bytecode Super Optimizer
  ☆35Updated 4 years ago
• dakk / secp256k1-ml
  Elliptic curve library secp256k1 wrapper for Ocaml
  ☆24Updated last year
• krohrer / caml-inspect
  Inspection of internal value representations and the object graph
  ☆33Updated 8 years ago
• janestreet / noise-wireguard-ocaml
  An implementation of the Noise Protocol, intended to be used as the base for a Wireguard implementation in OCaml.
  ☆26Updated 5 years ago
• murbard / plebeia
  Optimized Patricia trie with disk storage
  ☆31Updated 6 years ago
• mirage / irmin-rs
  ☆15Updated last year
• janestreet / sexplib0
  Library containing the definition of S-expressions and some base converters
  ☆18Updated 3 months ago
• yomimono / url-shortener
  Example URL shortener MirageOS unikernel using Chamelon.
  ☆18Updated 2 years ago
• stedolan / linkage
  easy-to-use wrapper for OCaml's Dynlink
  ☆16Updated 8 years ago
• OCamlPro / ocaml-solidity
  Ocaml-solidity provides a Solidity parser and typechecker
  ☆30Updated last year
• janestreet / topological_sort
  Topological sort algorithm
  ☆13Updated 5 months ago
• savonet / ocaml-duppy
  OCaml asynchronous scheduler and monad for server-oriented programming.
  ☆16Updated 4 months ago
• roddyyaga / heroku-buildpack-ocaml
  A Heroku buildpack for OCaml
  ☆15Updated 4 years ago
• CertiKProject / zkwasm-fv
  Formal verification of the zkWasm project
  ☆10Updated 6 months ago
• yminsky / core-hello-world
  Some simple exercises for getting up and running with OCaml, Dune, Core and Async
  ☆16Updated 6 years ago
• coq / bot
  A (Coq Development Team) bot written in OCaml
  ☆23Updated 3 weeks ago
• Nymphium / openai-ocaml
  OCaml bindings for OpenAI API
  ☆16Updated last year
• janestreet / ocaml_intrinsics
  Provides functions to invoke amd64 instructions (such as clz,popcnt,rdtsc,rdpmc) when available, or compatible software implementation on…
  ☆34Updated 3 months ago
• mirage / mirage-kv-unix
  MirageOS key value store implementation using a Unix file system
  ☆11Updated 10 months ago
• OCamlPro / digodoc
  Dig into an opam switch for doc
  ☆10Updated 2 years ago
• avsm / mirage-ci
  Continuous Integration for MirageOS using DataKit's git workflow
  ☆20Updated 4 years ago
• PLTools / GT
  Datatype-generic object-oriented transformations for OCaml
  ☆16Updated this week
• talex5 / mirage-trace-viewer
  GTK and HTML viewers for mirage-profile trace files
  ☆20Updated 2 years ago
• polytypic / par-ml
  Experimental parallel and concurrent OCaml
  ☆14Updated 2 years ago
• colis-anr / colis-language
  A symbolic analyser for shell scripts.
  ☆22Updated 3 years ago
• LaurentMazare / ocaml-wasmtime
  OCaml WebAssembly runtime powered by Wasmtime
  ☆35Updated 2 years ago
• SumitPadhiyar / confuzz
  Concurrency property fuzzing tool for Lwt-based OCaml programs
  ☆29Updated 3 years ago
• uzh / z-pool-tool
  Pool Tool
  ☆15Updated this week