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:
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆33Updated 7 years ago
- [Deprecated see github.com/janestreet/hardcaml] Register Transfer Level Hardware Design in OCaml☆119Updated 4 years ago
- miniKanren in OCaml☆31Updated 2 years ago
- ☆40Updated 9 years ago
- S-expression swiss knife☆47Updated last week
- MLWorks is a Standard ML compiler and development environment.☆181Updated 7 years ago
- A Verilog dialect supercharged by the Racket meta-fairies.☆57Updated 6 years ago
- An OCaml generic virtual machine for microcontrollers☆151Updated last month
- An OCaml/Mirage-friendly implementation of the 9P protocol☆67Updated 3 months ago
- An absurdly tiny Lisp interpreter in OCaml☆32Updated 13 years ago
- Port of Shen to run on top of Wasp Lisp☆25Updated 3 years ago
- Racket bindings for Z3☆20Updated 13 years ago
- An OCaml javascript kernel for the IPython notebook☆58Updated 8 years ago
- ☆19Updated 2 years ago
- Delimited continuations in byte-code and native OCaml☆27Updated 4 years ago
- Raspberry Pi boot support for the OCaml system (unreleased)☆56Updated last year
- racket scheme peg-parser☆23Updated 4 years ago
- Scheme R7RS frontend for LLVM☆69Updated 7 years ago
- Freestanding OCaml runtime☆107Updated last week
- ☆28Updated 10 years ago
- A Scheme TCP/IP Stack Targeting Small Embedded Applications☆25Updated 12 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 2 years ago
- Ropes ("heavyweight strings") for OCaml☆48Updated last year
- i386, x86_64, ARMv7 assembler/linker; Nothing-like mid-level language; Linear-scan register allocator; Operating system for Raspberry Pi …☆100Updated 2 months ago
- Abstract engine for text edition in OCaml☆122Updated 4 months ago
- OCaml bytecode to C compiler☆103Updated 5 years ago
- An embeddable Lua 2.5 interpreter implemented in OCaml☆130Updated last week
- kqueue (*BSD) and epoll (Linux) library for Standard ML (MLton and Poly/ML)☆24Updated last year
- ☆38Updated 6 years ago
- An OCaml bytecode to LLVM compiler☆43Updated 7 years ago