mariaschett / sorg
SuperOptimization based Rule Generation
☆13Updated 4 years ago
Related projects: ⓘ
- A PoPuLaToR for a PeePhoLe opTimizeR☆13Updated 3 years ago
- backend of syrup: SYnthesizeR of sUPer-optimized smart contracts☆15Updated 4 years ago
- An implementation of the Noise Protocol, intended to be used as the base for a Wireguard implementation in OCaml.☆26Updated 4 years ago
- Library containing the definition of S-expressions and some base converters☆19Updated 3 weeks ago
- Inspection of internal value representations and the object graph☆32Updated 8 years ago
- Optimized Patricia trie with disk storage☆31Updated 5 years ago
- The Ensemble distributed communications toolkit☆13Updated 4 years ago
- Collection of composable P2P libraries☆26Updated 3 years ago
- Dig into an opam switch for doc☆11Updated 2 years ago
- easy-to-use wrapper for OCaml's Dynlink☆16Updated 7 years ago
- Code examples for OCaml.☆10Updated 3 years ago
- Elliptic curve library secp256k1 wrapper for Ocaml☆24Updated 9 months ago
- Parallel computation in OCaml - multicore for really poor people☆12Updated 4 years ago
- A Heroku buildpack for OCaml☆16Updated 3 years ago
- A traceable distributed computation framework☆22Updated 4 years ago
- A pipeline that deploys unikernels and other services☆23Updated this week
- A set of tools to work with Gameboy stuff☆13Updated last year
- A key-value store for OCaml☆20Updated 2 years ago
- OCaml Ctypes stubs generation notes☆19Updated 5 years ago
- ☆15Updated last year
- Xen core platform libraries for MirageOS☆18Updated 4 months ago
- Bindings to the Tracy profiler.☆25Updated this week
- A comparison of Js_of_ocaml libraries for building reactive UIs☆11Updated 2 years ago
- OCaml asynchronous scheduler and monad for server-oriented programming.☆16Updated 5 months ago
- Time-zone handling☆12Updated 3 weeks ago
- OCaml CBOR generic decoder/encoder, RFC 7049, http://cbor.io/☆25Updated 2 years ago
- Elliptic Curves Cryptography for OCaml☆12Updated 4 years ago
- Web browser remote control☆13Updated last year
- A protoc plugin for generating OCaml code from protobuf (.proto) files.☆17Updated 4 years ago