-
timere Public
Forked from daypack-dev/timereTime reasoning/regex-ish library in OCaml
OCaml MIT License UpdatedJan 24, 2021 -
-
fugit Public
A small CLI to launch notifications at a given time
-
-
reason Public
Forked from reasonml/reasonSimple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
OCaml MIT License UpdatedJul 26, 2020 -
-
-
parmap Public
Forked from rdicosmo/parmapParmap is a minimalistic library allowing to exploit multicore architecture for OCaml programs with minimal modifications.
OCaml Other UpdatedJan 24, 2020 -
obytelib Public
Forked from bvaugon/obytelibOCaml bytecode library tools
OCaml Other UpdatedDec 12, 2019 -
lablgtk Public
Forked from garrigue/lablgtkLablGTK 2 and 3: an interface to the GIMP Tool Kit
OCaml Other UpdatedSep 25, 2019 -
sidekick Public
Forked from c-cube/sidekick[wip] A modular library for CDCL(T) SMT solvers, with proof generation.
SMT Apache License 2.0 UpdatedJul 17, 2019 -
FunctionalProgramming2017 Public
Forked from proglang/FunctionalProgrammingSupport repository for the functional programming lecture (Haskell)
-
js_of_ocaml Public
Forked from ocsigen/js_of_ocamlCompiler from OCaml to Javascript.
OCaml Other UpdatedMay 23, 2019 -
flow Public
Forked from facebook/flowAdds static typing to JavaScript to improve developer productivity and code quality.
OCaml MIT License UpdatedMay 2, 2019 -
iter Public
Forked from c-cube/iterSimple sequence abstract datatype, intented to transfer a finite number of elements from one data structure to another.
OCaml BSD 2-Clause "Simplified" License UpdatedMar 8, 2019 -
-
opam-dot Public
A simple command to show the graph of dependencies of a package.
-
plzoo Public
Forked from andrejbauer/plzooProgramming Languages Zoo
OCaml MIT License UpdatedNov 2, 2018 -
ocaml-uri Public
Forked from mirage/ocaml-uriRFC3986 URI parsing library for OCaml
-
oct Public archive
WIP Experiments with value printers for fancier toplevels.
-
functoria-lwt Public
A minimal example of a functoria-based eDSL for lwt-based applications.
-
functoria-lua Public
Building Lua interpreters with lot's of functors
-
functoria Public
Forked from mirage/functoriaA DSL to invoke otherworldly functors
-
compilers Public
Forked from mohd-akram/compilersA list of compilers with some metadata.
CoffeeScript MIT License UpdatedJul 7, 2018 -
owl Public
Forked from owlbarn/owlOwl is an OCaml library for scientific and engineering computing.
OCaml MIT License UpdatedJun 29, 2018 -
fmt Public
Forked from dbuenzli/fmtOCaml Format pretty-printer combinators (unreleased)
OCaml UpdatedMay 25, 2018 -
polyocamlbyte Public
A pdf file which is an ocaml bytecode which is a png of the logo of OCaml.
-
uniqueness Public
Forked from peterthiemann/uniquenessTeX BSD 2-Clause "Simplified" License UpdatedMay 4, 2018 -
autoci Public
Forked from yomimono/autociautomatic ci configuration for the people
OCaml MIT License UpdatedApr 11, 2018 -
lwt Public
Forked from ocsigen/lwtA cooperative threads library for OCaml.
OCaml Other UpdatedApr 7, 2018
{{ message }}