LexiFi runtime types
Repository Index
47,133 repositories indexed
433–456 of 553 · Most stars
An example of pixel-perfect yet smooth camera for GameMaker Studio 2
A dumb OCaml logger
OCaml library for combinatorics
A list of application templates useful for hackathons and anything else
scikit-learn for OCaml
nanomsg bindings for ocaml
A proxy server than converts JSON request bodies to protocol buffers
- go
- golang
- protocol-buffers
- protobuf
Non-blocking streaming Unicode codec for OCaml
Convert a string to a camel case.
- case
- utility
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
- coq-plugin
- coq-tactic
- coq
- docker-coq-action
as3 camera detection so you don't have to
OCaml bindings to PCRE (Perl Compatibility Regular Expressions)
- ocaml
- pcre
- pattern-matching
- string-matching
Benchmarking module for OCaml
IO for Gallina
- coq
- ocaml
- extraction
A weather server supporting Campbell Scientific and Davis Instruments stations with lots of data-sharing options
Library of Raft consensus algorithm implemented in OCaml
- ocaml
- raft-consensus-algorithm
- raft
- consensus-algorithm
Inspection of internal value representations and the object graph
Minimalist OCaml library for command line parsing
- ocaml-library
- command-line-interface
- cli
- minimalist
The repository host gives no description.
general value printing within compiled programs
An HTML documentation generator for Coq source files
Process pools for OCaml
Print OCaml values based on their runtime representation