rixed's Stars
google/snappy
A fast compressor/decompressor
quenhus/uBlock-Origin-dev-filter
Filters to block and remove copycat-websites from DuckDuckGo, Google and other search engines. Specific to dev websites like StackOverflow or GitHub.
ixy-languages/ixy-languages
A high-speed network driver written in C, Rust, C++, Go, C#, Java, OCaml, Haskell, Swift, Javascript, and Python
tomprimozic/type-systems
Implementations of various type systems in OCaml.
eliben/llvm-clang-samples
UNMAINTAINED: Examples of using the LLVM and Clang compilation libraries and tools
coalton-lang/coalton
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
ocsigen/js_of_ocaml
Compiler from OCaml to Javascript.
Mercury-Language/mercury
The Mercury logic programming system.
Atoptool/atop
System and process monitor for Linux
ocaml-ppx/ocamlformat
Auto-formatter for OCaml code
shish/rosettaboy
A gameboy emulator in several different languages
toger5/TheBoard
A collaborative Whiteboard powered by the [matrix] protocol and infrastucture.
pqwy/notty
Declarative terminal graphics for OCaml
LexiFi/ocaml-vdom
Elm architecture and (V)DOM for OCaml
stedolan/ppx_stage
Staged metaprogramming in stock OCaml
mirage/ocaml-cow
Caml on the Web (COW) is a set of parsers and syntax extensions to let you manipulate HTML, CSS, XML, JSON and Markdown directly from OCaml code.
Gbury/mSAT
A modular sat/smt solver with proof output.
rdicosmo/parmap
Parmap is a minimalistic library allowing to exploit multicore architecture for OCaml programs with minimal modifications.
matthewnourse/r17
a relational concurrent data mining language
thierry-martinez/refl
OCaml PPX deriver for reflection
fjolliton/cl-vectors
Pure Common Lisp anti-aliasing rasterizer
vbrankov/hdf5-ocaml
OCaml wrapper for HDF5
misje/once
Connect a Qt slot/functor/signal and disconnect it immediately after execution.
apatil/aplomb
Data visualization and plotting for OCaml
scality/Droplet-sh
Shell to access cloud storage via command line
retired-camels/ocaml
GitHub mirror of the OCaml Subversion repository.
protz/pippo
A pretty interesting pre-processor that uses OCaml
rixed/ocaml-4-for-mips
Reintroduction of the best architecture (MIPS) into the best programming language (OCaml)
rixed/lockarena
Deadlock prevention testbench
rixed/makesparse
create sparse files from ordinary files