mrvn / ocaml-rpiLinks
Exokernel to run ocaml baremetal on the Raspberry Pi
☆41Updated 11 years ago
Alternatives and similar repositories for ocaml-rpi
Users that are interested in ocaml-rpi are comparing it to the libraries listed below
Sorting:
- OCaml bytecode to C compiler☆103Updated 4 years ago
- [Deprecated see github.com/janestreet/hardcaml] Register Transfer Level Hardware Design in OCaml☆120Updated 4 years ago
- An absurdly tiny Lisp interpreter in OCaml☆31Updated 13 years ago
- An OCaml generic virtual machine for microcontrollers☆148Updated 8 months ago
- RISC-V port of the OCaml system☆43Updated 4 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆35Updated 6 years ago
- Embed typed ASN.1 grammars in OCaml☆36Updated 7 months ago
- OCaml bindings for Google's LevelDB☆44Updated 3 years ago
- MLWorks is a Standard ML compiler and development environment.☆181Updated 7 years ago
- Raspberry Pi boot support for the OCaml system (unreleased)☆57Updated 9 months ago
- An OCaml/Mirage-friendly implementation of the 9P protocol☆67Updated last month
- A Scheme TCP/IP Stack Targeting Small Embedded Applications☆25Updated 11 years ago
- kqueue (*BSD) and epoll (Linux) library for Standard ML (MLton and Poly/ML)☆24Updated last year
- ☆19Updated 2 years ago
- Port of Shen to run on top of Wasp Lisp☆25Updated 3 years ago
- Functional kernel written in OCaml.☆34Updated 11 years ago
- Distributed computing library☆35Updated 7 years ago
- S-expression swiss knife☆47Updated last week
- Native compiler backend for esp32☆61Updated 4 years ago
- OCaml implementation of the DNS protocol☆108Updated 2 weeks ago
- miniKanren in OCaml☆31Updated 2 years ago
- Write an OCaml script, run an optimized executable☆75Updated 3 years ago
- Ropes ("heavyweight strings") for OCaml☆48Updated last year
- Map OCaml arrays onto C-like structs☆111Updated 5 months ago
- ☆38Updated 5 years ago
- Aurochs is a parser generator that uses the parse expression grammar (PEG) or "packrat" approach. It takes a grammar in a BNF-like notat…☆46Updated last year
- The MLtonLibrary repository☆36Updated 2 years ago
- An embeddable Lua 2.5 interpreter implemented in OCaml☆127Updated 5 months ago
- Nanopass for OCaml☆147Updated 7 years ago
- A variant of OCaml's native code compiler ocamlopt using LLVM in the back-end for optimization and code generation. Warning: Binaries pr…☆55Updated 13 years ago