mrvn / ocaml-rpiView external linksLinks
Exokernel to run ocaml baremetal on the Raspberry Pi
☆41Jul 11, 2014Updated 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:
- Binding to the WiringPi library☆13Sep 8, 2021Updated 4 years ago
- OCaml asynchronous scheduler and monad for server-oriented programming.☆16Apr 8, 2025Updated 10 months ago
- Raspberry Pi boot support for the OCaml system (unreleased)☆56Oct 20, 2024Updated last year
- An SMTP server implementation for Racket.☆18Nov 7, 2025Updated 3 months ago
- obigstore: database with BigTable-like data model atop LevelDB☆43Sep 26, 2017Updated 8 years ago
- A parser-combinator library for Rust☆46Dec 31, 2015Updated 10 years ago
- Computer Algebra System for Racket☆19Mar 11, 2023Updated 2 years ago
- Pre-Scheme to (GNU) C compiler written in Pre-Scheme☆36Nov 23, 2013Updated 12 years ago
- ☆37Nov 21, 2025Updated 2 months ago
- This repository is for the Python Beta participants to post example code☆12Sep 8, 2017Updated 8 years ago
- A Clojure linter that enforces end-of-file newlines.☆11Jul 4, 2019Updated 6 years ago
- OCaml IRC client library☆52Jun 30, 2023Updated 2 years ago
- Platform-agnostic Rust driver for the VEML6030 and VEML7700 high-accuracy ambient light sensors.☆10Jun 27, 2025Updated 7 months ago
- Very Low Accuracy Digital Setting Circles☆10May 23, 2017Updated 8 years ago
- A drop-in replacement for `dapp` and `seth` in Rust☆10Feb 8, 2026Updated last week
- Raspberry Pi 4 Image☆12Oct 25, 2024Updated last year
- A golang package that implements a distributed tracing capability inspired by Google's Dapper☆12Jan 20, 2017Updated 9 years ago
- Animating an RGB lamp, using WebAssembly!☆44Dec 6, 2021Updated 4 years ago
- Wiki For Camlunity☆13Feb 12, 2015Updated 11 years ago
- Hadoop YARN monitoring with R☆19Sep 16, 2014Updated 11 years ago
- A Client tool used for Baidu App Engine(BAE)☆39Jan 17, 2014Updated 12 years ago
- User Port Cartridge for the Commodore 16, 116 and Plus/4☆11Sep 8, 2024Updated last year
- ☆11Aug 28, 2015Updated 10 years ago
- internship☆10Sep 1, 2017Updated 8 years ago
- Red syntax/expressions highligting☆14Aug 31, 2021Updated 4 years ago
- A console client for mpd written in OCaml☆12Jan 5, 2019Updated 7 years ago
- Translation of the QuickCheck properties in the paper "How to specify it!" by John Hughes into clojure test.check☆10Jul 19, 2019Updated 6 years ago
- Demo project with web-like "breadcrumbs" navigation in iOS16☆10Dec 15, 2022Updated 3 years ago
- wechat android sdk☆11Jul 16, 2015Updated 10 years ago
- A practical http client library for sending data to http servers.☆10Jul 10, 2024Updated last year
- Build a state machine in Julia based on functions along with stepping and visualization tools☆14Dec 17, 2024Updated last year
- DSL for make a simple ruby GUI application☆16Nov 6, 2018Updated 7 years ago
- Splice 2 sockets together in Erlang☆11Feb 10, 2022Updated 4 years ago
- A toolkit for using rust with clojurescript☆12Dec 23, 2018Updated 7 years ago
- A set of tools for building graph rewriting systems and more specifically, working with the chemlambda rewrite model of computation.☆12Dec 27, 2016Updated 9 years ago
- Minimal init(8) for use with Docker☆11Feb 27, 2015Updated 10 years ago
- A handy cli interface to searching and opening books from your calibre library or recently read titles from your library.☆10Jun 14, 2020Updated 5 years ago
- Tools for working with the Wayback Machine in Rust☆15Dec 17, 2025Updated last month
- white-web-sdk, white-sdk-ios, white-sdk-android☆10Updated this week