Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 18 Linux Ocaml Open Source Projects

Open source projects categorized as Linux Ocaml
Oni2 ⭐ 7,238
Native, lightweight modal code editor
most recent commit 2 years ago
Mirage ⭐ 2,377
MirageOS is a library operating system that constructs unikernels
most recent commit 3 months ago
Comby ⭐ 1,996
A code rewrite tool for structural search and replace that supports ~every language.
most recent commit a year ago
Hol Light ⭐ 354
The HOL Light theorem prover
most recent commit 3 months ago
Geneweb ⭐ 271
GeneWeb is a free (as in free speech) genealogy software with a web interface created by Daniel de Rauglaudre.
most recent commit 4 months ago
Clnc ⭐ 249
CuteBi Linux Network Client
most recent commit 2 years ago
Ocaml Usbmux ⭐ 100
Connect to your iDevices over USB at scale
most recent commit 7 years ago
Directories ⭐ 33
directories is an OCaml library that provides configuration, cache and data paths (and more!) following the suitable conventions on Linux, macOS and Windows. The following conventions are used: XDG Base Directory Specification and xdg-user-dirs on Linux, Known Folders on Windows, Standard Directories on macOS.
most recent commit 9 months ago
Cdetect ⭐ 26
🔬 Detect which compiler and compiler version a Linux executable (in the ELF format) was compiled with
most recent commit 3 months ago
Socc ⭐ 19
Simple C Compiler in OCaml
most recent commit 6 years ago
Faults In Linux ⭐ 19
Experimental bed to study Linux faults
most recent commit 5 years ago
Ocaml Hvsock ⭐ 13
Bindings for hypervisor sockets, for Linux, Windows and macOS (via Hyperkit)
most recent commit 2 years ago
Paparazzi Linux Release ⭐ 12
A fork of the Paparazzi project targeting Linux-based autopilot hardware
most recent commit 14 years ago
Polly ⭐ 8
OCaml bindings for Linux epoll(2)
most recent commit 7 months ago
Simpleocaml ⭐ 7
A simple OCaml IDE
most recent commit 3 years ago
Linuxkit Ci ⭐ 6
The CI configuration for testing LinuxKit
most recent commit 6 years ago
Playos ⭐ 6
A custom Linux system for running Dividat Play.
most recent commit 4 months ago
Hol Light ⭐ 5
HOL Light with OpenTheory Support
most recent commit 4 years ago
Popular Operating Systems Categories
Kernel
Driver
Operating System
Unix
Debian
Filesystem
Openwrt
Hackintosh
Efi
Tvos
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.