GitHub topics: ocaml-library
grew-nlp/grewlib
Ocaml library for Grew (graph rewriting for NLP)
Language: OCaml - Size: 2.39 MB - Last synced at: about 16 hours ago - Pushed at: 1 day ago - Stars: 4 - Forks: 0
ygrek/ocaml-bpf
OCaml embedded eBPF assembler
Language: OCaml - Size: 12.7 KB - Last synced at: 2 days ago - Pushed at: over 3 years ago - Stars: 22 - Forks: 2
ahrefs/ocannl
OCANNL: OCaml Compiles Algorithms for Neural Networks Learning
Language: OCaml - Size: 16.6 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 84 - Forks: 3
LPCIC/elpi
Embeddable Lambda Prolog Interpreter
Language: Prolog - Size: 41.9 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 314 - Forks: 38
epatrizio/miniml2wasm
MiniML to WebAssembly compiler
Language: Raku - Size: 338 KB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 1 - Forks: 1
RedPRL/algaeff
π¦ Reusable components based on algebraic effects
Language: OCaml - Size: 694 KB - Last synced at: 5 days ago - Pushed at: 10 months ago - Stars: 51 - Forks: 1
OCamlPro/ocaml-ancient
trial at reviving the ancient library
Language: C - Size: 163 KB - Last synced at: 21 days ago - Pushed at: 21 days ago - Stars: 10 - Forks: 3
andersfugmann/aws-s3
Ocaml library to access Amazon S3
Language: OCaml - Size: 1010 KB - Last synced at: 26 days ago - Pushed at: 26 days ago - Stars: 50 - Forks: 13
codex-semantics-library/patricia-tree
Patricia Tree data structure in OCaml for maps and sets, supports generic (GADT) keys
Language: OCaml - Size: 2.91 MB - Last synced at: 27 days ago - Pushed at: 27 days ago - Stars: 14 - Forks: 0
dlesbre/ocaml-dynamic-records
Dynamic records for ocaml
Language: OCaml - Size: 49.8 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0
deakodev/echo
A minimal interop OCaml + C logging solution
Language: OCaml - Size: 57.6 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 0
dmbaturin/ocaml-tsort
Easy to use and user-friendly topological sort module for OCaml
Language: OCaml - Size: 42 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 22 - Forks: 2
dmbaturin/otoml
TOML parsing, manipulation, and pretty-printing library for OCaml (fully 1.0.0-compliant)
Language: OCaml - Size: 141 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 50 - Forks: 2
Gbury/dolmen
Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
Language: OCaml - Size: 11.3 MB - Last synced at: 13 days ago - Pushed at: about 2 months ago - Stars: 87 - Forks: 20
0xffea/ocaml-redis Fork of mrnumber/ocaml-redis
Redis bindings for OCaml
Language: OCaml - Size: 1.64 MB - Last synced at: 13 days ago - Pushed at: about 2 months ago - Stars: 78 - Forks: 31
nowarp/ocaml-func
OCaml library providing AST and parser for FunC
Language: OCaml - Size: 18.6 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0
UnixJunkie/vp-tree
Vantage point tree implementation in OCaml
Language: OCaml - Size: 226 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 19 - Forks: 6
alyxshang/shangshield.ml
An OCaml package to measure the security of passwords. :dragon: :camel:
Language: OCaml - Size: 6.84 KB - Last synced at: 24 days ago - Pushed at: 6 months ago - Stars: 2 - Forks: 0
Nymphium/ocaml-lua-re
Lua 5.2 bindings for OCaml
Language: OCaml - Size: 58.6 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0
maiste/equinoxe π¦
Wrapper to Equinix API - Archived
Language: OCaml - Size: 418 MB - Last synced at: 3 days ago - Pushed at: 3 months ago - Stars: 12 - Forks: 2
cryptosense/key-parsers
OCaml parsers for multiple key formats
Language: OCaml - Size: 451 KB - Last synced at: 3 months ago - Pushed at: 12 months ago - Stars: 15 - Forks: 7
sim642/ocaml-arg-complete
Bash completion support for OCaml Stdlib.Arg
Language: OCaml - Size: 400 KB - Last synced at: 2 months ago - Pushed at: 5 months ago - Stars: 4 - Forks: 1
marindereggi/ocaml-linda
Tuple Space-Based Parallel Programming in OCaml
Language: OCaml - Size: 33.2 KB - Last synced at: 3 months ago - Pushed at: 11 months ago - Stars: 1 - Forks: 1
atomicptr/CamelCase
A simple OCaml test framework
Language: OCaml - Size: 22.5 KB - Last synced at: 6 days ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0
andersfugmann/ocaml-protoc-plugin
Plugin for Google's protobuf compiler to generate interfaces based on protobuf specifications and runtime for encoding and decoding protobuf messages
Language: OCaml - Size: 1.56 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 20 - Forks: 4
4y8/combo
A simple parser combinator library for Ocaml
Language: OCaml - Size: 52.7 KB - Last synced at: 5 days ago - Pushed at: almost 4 years ago - Stars: 30 - Forks: 1
colis-anr/morbig
A static parser for POSIX Shell
Language: OCaml - Size: 1.01 MB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 194 - Forks: 8
UnixJunkie/phashtbl
Minimalist persistent hashtbl OCaml library
Language: OCaml - Size: 23.4 KB - Last synced at: 3 months ago - Pushed at: over 5 years ago - Stars: 8 - Forks: 0
mirage/capnp-rpc
Cap'n Proto RPC implementation
Language: OCaml - Size: 4.9 MB - Last synced at: 5 days ago - Pushed at: 5 months ago - Stars: 105 - Forks: 21
romanchechyotkin/nats.ocaml
OCaml client for NATS, the cloud native messaging system.
Language: OCaml - Size: 110 KB - Last synced at: 3 months ago - Pushed at: 8 months ago - Stars: 14 - Forks: 2
andersfugmann/amqp-client
OCaml Amqp client library for Async and Lwt.
Language: OCaml - Size: 1.18 MB - Last synced at: 19 days ago - Pushed at: about 1 year ago - Stars: 62 - Forks: 15
Chris00/ANSITerminal
Basic control of ANSI compliant terminals and the windows shell.
Language: OCaml - Size: 124 KB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 45 - Forks: 9
kkirstein/ocaml-datatable
Handle tabular data in OCaml
Language: OCaml - Size: 62.5 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0
Pineapple-Soup/scicaml
A machine learning library built in OCaml
Language: OCaml - Size: 57.6 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 1 - Forks: 1
UnixJunkie/parany
Parallelize _anything_ //
Language: OCaml - Size: 230 KB - Last synced at: 3 months ago - Pushed at: almost 2 years ago - Stars: 54 - Forks: 8
UnixJunkie/MMO
Molecular Mechanics in OCaml
Language: OCaml - Size: 1.55 MB - Last synced at: 3 months ago - Pushed at: 6 months ago - Stars: 7 - Forks: 0
UnixJunkie/minicli
Minimalist OCaml library for command line parsing
Language: OCaml - Size: 27.3 KB - Last synced at: 4 months ago - Pushed at: almost 5 years ago - Stars: 31 - Forks: 2
RedPRL/ocaml-bwd
π Backward lists for OCaml
Language: OCaml - Size: 648 KB - Last synced at: 3 months ago - Pushed at: 10 months ago - Stars: 22 - Forks: 3
Naereen/Tiny-Prolog-in-OCaml
A tiny implementation of a small subset of the Prolog language, π« in OCaml. With small and fun examples.
Language: Jupyter Notebook - Size: 43.9 KB - Last synced at: 2 months ago - Pushed at: over 7 years ago - Stars: 6 - Forks: 1
RedPRL/mugen
βΎοΈ A library for universe levels and universe polymorphism
Language: OCaml - Size: 727 KB - Last synced at: 3 months ago - Pushed at: 7 months ago - Stars: 34 - Forks: 1
rixed/ocaml-pretty-printers-parsers
Pretty-Printers/Parsers
Language: OCaml - Size: 294 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 1 - Forks: 0
inQWIRE/openqasm-parser
OCaml library for manipulating OpenQASM Abstract Syntax Tree
Language: OCaml - Size: 44.9 KB - Last synced at: 7 days ago - Pushed at: about 3 years ago - Stars: 8 - Forks: 3
gfngfn/otfed
An OpenType font format encoder & decoder written in OCaml
Language: OCaml - Size: 785 KB - Last synced at: about 1 month ago - Pushed at: 8 months ago - Stars: 18 - Forks: 0
RedPRL/yuujinchou
πΉ A library for hierarchical names and lexical scoping
Language: OCaml - Size: 1000 KB - Last synced at: 3 months ago - Pushed at: 10 months ago - Stars: 25 - Forks: 4
UnixJunkie/omlr
OCaml wrapper on top of R to perform Multiple Linear Regression
Language: OCaml - Size: 562 KB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 5 - Forks: 1
UnixJunkie/lz4-chans
open/close binary channels with LZ4 compression in the background
Language: OCaml - Size: 13.7 KB - Last synced at: about 1 month ago - Pushed at: over 5 years ago - Stars: 9 - Forks: 0
ocaml-community/calendar
OCaml library for handling dates and times.
Language: OCaml - Size: 532 KB - Last synced at: 23 days ago - Pushed at: almost 3 years ago - Stars: 42 - Forks: 9
UnixJunkie/dokeysto
The dumb OCaml key-value store
Language: OCaml - Size: 65.4 KB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 10 - Forks: 1
epatrizio/ola
OCaml Lua Interpreter
Language: OCaml - Size: 289 KB - Last synced at: 4 months ago - Pushed at: 11 months ago - Stars: 1 - Forks: 1
0zat/webidl
Web IDL parser of OCaml
Language: OCaml - Size: 89.8 KB - Last synced at: about 1 month ago - Pushed at: almost 7 years ago - Stars: 11 - Forks: 4
RedPRL/kado
π§ kado γ«γ: Cofibrations in Cartesian Cubical Type Theory
Language: OCaml - Size: 648 KB - Last synced at: 3 months ago - Pushed at: 10 months ago - Stars: 19 - Forks: 1
RedPRL/bantorra
π A library for managing libraries and resolving unit paths
Language: OCaml - Size: 822 KB - Last synced at: 3 months ago - Pushed at: 10 months ago - Stars: 17 - Forks: 0
sim642/ocaml-algebra
Small but neat OCaml library of (abstract) algebraic structures
Language: OCaml - Size: 39.1 KB - Last synced at: about 1 month ago - Pushed at: over 3 years ago - Stars: 4 - Forks: 0
UnixJunkie/dolog
A dumb OCaml logger
Language: OCaml - Size: 138 KB - Last synced at: 3 months ago - Pushed at: almost 2 years ago - Stars: 37 - Forks: 7
paurkedal/ocaml-prime
Supplements to the OCaml library
Language: OCaml - Size: 941 KB - Last synced at: 3 months ago - Pushed at: 12 months ago - Stars: 9 - Forks: 1
Davphla/RPC-Ocaml
Attempted implementation of a RPC Module for OCaml
Language: OCaml - Size: 1.69 MB - Last synced at: 3 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0
mtoohey31/ppx_cmd
Declarative command line parsing for OCaml with `@@deriving`.
Language: OCaml - Size: 29.3 KB - Last synced at: 4 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
andersfugmann/amqp-client-eio
Amqp client for ocaml multicore based on eio
Language: OCaml - Size: 150 KB - Last synced at: 3 months ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0
UnixJunkie/bisec-tree
Bisector tree implementation in OCaml
Language: OCaml - Size: 616 KB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 25 - Forks: 0
fccm/ocaml-sexpr
a very simple parsing library for S-expressions
Language: OCaml - Size: 2.93 KB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0
fccm/ocaml-sexpr0
a small basic ocaml module for parsing s-expressions
Language: OCaml - Size: 2.93 KB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 4 - Forks: 0
chrisnevers/ocaml-youtube-dl
An OCaml wrapper for the youtube-dl command line tool
Language: OCaml - Size: 8.79 KB - Last synced at: about 1 year ago - Pushed at: almost 6 years ago - Stars: 2 - Forks: 1
chrisnevers/music-analyzer
πΈ An OCaml library for analyzing music
Language: OCaml - Size: 3.91 KB - Last synced at: about 1 year ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 2
mtoohey31/starpath
A position-aware parser combinator library for OCaml with readable errors.
Language: OCaml - Size: 42 KB - Last synced at: 19 days ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
ewan-delanoy/Beluga_Whale
This is an OCaml repository
Language: OCaml - Size: 540 KB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
iamkeyur/MonadicParser
A small parser combinator library written in OCaml
Language: OCaml - Size: 19.5 KB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0
Antique-team/clangml-transforms
transformations from Clang AST to MemCAD AST
Language: OCaml - Size: 33.2 KB - Last synced at: over 1 year ago - Pushed at: over 9 years ago - Stars: 5 - Forks: 2
igarnier/clustering
An OCaml clustering library
Language: OCaml - Size: 236 KB - Last synced at: over 1 year ago - Pushed at: about 4 years ago - Stars: 21 - Forks: 0
nikitavoloboev/ocaml
OCaml libraries and other code
Language: OCaml - Size: 1.95 KB - Last synced at: 4 months ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
atomicptr/pathlib-ml
Experimental path library for OCaml inspired by Pythons pathlib.
Language: OCaml - Size: 19.5 KB - Last synced at: 6 days ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
boulme/ImpureDemo
A Coq library to embed Impure OCaml oracles in certified Coq code
Language: Coq - Size: 58.6 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
boulme/Impure
A Coq library to embed Impure OCaml oracles in certified Coq code
Language: Coq - Size: 35.2 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0
kupolak/stdnum
OCaml library π« to provide functions to handle, parse and validate standard numbers.
Language: OCaml - Size: 33.2 KB - Last synced at: 13 days ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0
sanette/bogue-tutorials
A collection of tutorials for the OCaml Bogue library
Language: OCaml - Size: 6.31 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 7 - Forks: 0
UnixJunkie/aricomp
an arithmetic compressor
Language: OCaml - Size: 22.5 KB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0
marcoonroad/twostep
HOTP and TOTP algorithms for 2-step verification (for OCaml). :clock10: :closed_lock_with_key: :1234: :camel:
Language: OCaml - Size: 146 KB - Last synced at: 2 months ago - Pushed at: over 2 years ago - Stars: 20 - Forks: 3
UnixJunkie/interval-tree
tree for float intervals
Language: OCaml - Size: 85.9 KB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 12 - Forks: 4
adityashibu/OCamlMadeEasy
Trying to add additional features to the language of OCaml such as array Indexing, etc
Language: OCaml - Size: 47.9 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
Chris00/root1d
Collection of functions to find roots of functions float β float. Pure OCaml code.
Language: OCaml - Size: 67.4 KB - Last synced at: 3 months ago - Pushed at: over 3 years ago - Stars: 7 - Forks: 0
dakk/secp256k1-ml
Elliptic curve library secp256k1 wrapper for Ocaml
Language: OCaml - Size: 157 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 24 - Forks: 10
zoggy/ocaml-solid
SOLID server and OCaml library to build LDP and SOLID applications
Size: 258 KB - Last synced at: 3 months ago - Pushed at: over 3 years ago - Stars: 9 - Forks: 1
atolab/apero-core
Core ATO Pervasives Outils
Language: OCaml - Size: 151 KB - Last synced at: over 1 year ago - Pushed at: over 5 years ago - Stars: 5 - Forks: 3
sanette/ufind
Case-insensitive, accent-insensitive search in Latin UTF strings and databases.
Language: OCaml - Size: 284 KB - Last synced at: over 1 year ago - Pushed at: over 5 years ago - Stars: 4 - Forks: 0
chrisnevers/ocamline
π¨π»βπ» Command line interface for user input
Language: OCaml - Size: 80.1 KB - Last synced at: about 1 year ago - Pushed at: over 5 years ago - Stars: 36 - Forks: 1
cyril-allignol/ocaml-shapefile
OCaml library for handling ESRI shapefiles (.shp, .shx, .prj).
Language: OCaml - Size: 37.1 KB - Last synced at: almost 2 years ago - Pushed at: almost 5 years ago - Stars: 3 - Forks: 1
cyril-allignol/ocaml-flatzinc
A flatzinc parser for OCaml
Language: OCaml - Size: 17.6 KB - Last synced at: almost 2 years ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0
cyril-allignol/ocaml-dimensions
Type-level dimensional analysis for OCaml
Language: OCaml - Size: 9.77 KB - Last synced at: almost 2 years ago - Pushed at: about 7 years ago - Stars: 9 - Forks: 1
matt-kukla/mvl
Multivalued logic systems in OCaml.
Language: OCaml - Size: 38.1 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 0
lebotlan/ocaml-cryptodbm
Encrypted layer over the dbm library: access to serverless, key-value databases with symmetric encryption.
Language: OCaml - Size: 115 KB - Last synced at: almost 2 years ago - Pushed at: almost 7 years ago - Stars: 4 - Forks: 0
Yoxem/stringCodepointSplitter
Split a string to a list of strings of a character by the unicode codepoint.
Language: OCaml - Size: 26.4 KB - Last synced at: about 1 year ago - Pushed at: almost 2 years ago - Stars: 4 - Forks: 1
yutopp/loga
Logging library for OCaml
Language: OCaml - Size: 34.2 KB - Last synced at: 6 days ago - Pushed at: about 5 years ago - Stars: 7 - Forks: 1
kkirstein/ocaml-listx
An OCaml module with utility function for list generation and processing
Language: OCaml - Size: 14.6 KB - Last synced at: almost 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
Foxes-cool/Foxes-Ocaml
https://foxes.cool for your ocaml project
Language: OCaml - Size: 5.86 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
UnixJunkie/genspir
Function to generate almost uniformly points on a sphere
Language: OCaml - Size: 47.9 KB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 8 - Forks: 1
cfcs/ocaml-socks
SOCKS4a and SOCKS5 (RFC 1928; RFC 1929) handling for ocaml clients and servers
Language: OCaml - Size: 181 KB - Last synced at: 3 months ago - Pushed at: about 2 years ago - Stars: 20 - Forks: 6
cvarad/apjo
Applicative-based Parser for JSON in OCaml
Language: OCaml - Size: 27.3 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
CharlieCrisp/Logan
A Blockchain Library for OCaml
Language: OCaml - Size: 3.22 MB - Last synced at: over 2 years ago - Pushed at: about 7 years ago - Stars: 2 - Forks: 0
matt-kukla/ltl
Linear temporal logic.
Language: OCaml - Size: 48.8 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
Tim-ats-d/Macron
A powerful keybind library and daemon for Linux.
Language: OCaml - Size: 22.5 KB - Last synced at: over 1 year ago - Pushed at: almost 3 years ago - Stars: 10 - Forks: 0
erhangundogan/ocaml-chess
OCaml chess game library. Currently featuring algebraic notations read/write
Language: OCaml - Size: 5.86 KB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 3 - Forks: 0
