cfcs / PongOSLinks
Pong, the operating system version
☆36Updated 6 years ago
Alternatives and similar repositories for PongOS
Users that are interested in PongOS are comparing it to the libraries listed below
Sorting:
- Constant time equal function to avoid timing attacks in OCaml☆51Updated last year
- Software construction and deployment kit☆34Updated last month
- Read and write FAT format filesystems from OCaml☆25Updated 3 months ago
- OCaml bindings for the PKCS#11 cryptographic API☆22Updated 2 years ago
- A simple library for manipulating Master Boot Records☆18Updated 6 months ago
- Xen core platform libraries for MirageOS☆18Updated 7 months ago
- U2F (FIDO Universal 2nd Factor) in OCaml☆25Updated last year
- Library for writing IRC bots in OCaml, a collection of plugins, and a dramatic robotic actor.☆28Updated 2 months ago
- a small, simple block-backed key-value store for MirageOS☆31Updated 2 years ago
- OCaml parser for RFC 3164 Syslog messages☆24Updated 2 years ago
- A platform-agnostic multi-level index☆33Updated last week
- Experimental portable bitmap framebuffer graphics for MirageOS☆17Updated 5 years ago
- Microsite for the MirageOS hack retreats☆13Updated 2 weeks ago
- Dissect OCaml compiled programs, and weight their content☆25Updated 2 years ago
- Address resolution protocol (ARP) implementation in OCaml targeting MirageOS☆23Updated 7 months ago
- My notes about the Notty library https://github.com/pqwy/notty☆45Updated 4 years ago
- Infrastructure to collect metrics from OCaml applications.☆45Updated 3 months ago
- A modified OCaml compiler for eliom programs☆10Updated 8 years ago
- OpenSSL bindings to OCaml EIO☆20Updated last year
- Fast msgpack library for OCaml☆26Updated 4 years ago
- Example URL shortener MirageOS unikernel using Chamelon.☆18Updated 3 years ago
- Monotonic wall-clock time for OCaml☆34Updated last month
- Very simple gzip library for OCaml☆22Updated 4 years ago
- J'ai plus mal à la tête maintenant☆26Updated 3 months ago
- Agnostic benchmark in OCaml (proof-of-concept)☆44Updated last year
- heterogenous Map over a GADT☆42Updated 9 months ago
- Raspberry Pi boot support for the OCaml system (unreleased)☆57Updated 11 months ago
- A unikernel as an IRC client☆25Updated 2 years ago
- automatic ci configuration for the people☆35Updated 5 years ago
- A set of tools to work with Gameboy stuff☆13Updated 2 years ago