Top 1615 ocaml open source projects

251. Ketrew
Keep Track of Experimental Workflows
252. Ocaml Cats
Category theory for OCaml
✭ 73
ocaml
253. Ocaml Freestanding
Freestanding OCaml runtime
✭ 73
cocaml
254. Cmm of wasm
A compiler from WebAssembly to native code, via the OCaml backend.
✭ 73
ocaml
255. Ocamlbrew
Manage OCaml installations in your $HOME
✭ 71
shellocaml
256. Iter
Simple iterator abstract datatype, intended to iterate efficiently on collections while performing some transformations.
257. Ppx import
Less redundancy in type declarations and signatures
✭ 71
ocaml
258. Ocaml Electron
🔦 Write OCaml, run on Electron.
✭ 71
ocaml
259. Ocaml Erlang Port
Support library for OCaml programs running as Erlang ports
✭ 70
ocaml
260. Bap
Binary Analysis Platform
✭ 70
ocaml
261. Ocaml Style
A style guide for OCaml
262. Ac Tune Maker
Animal Crossing tune maker
✭ 70
ocaml
263. Ocaml Conduit
Dereference URIs into communication channels for Async or Lwt
✭ 69
ocaml
264. Girards Paradox
A "implementation" of Girard's paradox in OCaml
✭ 69
ocaml
265. Digestif
Simple hash algorithms in OCaml
266. Ppx bsx
OCaml JSX for ReasonReact
267. Coop
A prototype programming language for programming with runners
✭ 69
ocaml
268. To.ml
OCaml library for TOML
269. Restyled
Styled Components concept for Reason React, only works with bs-react-native for now
270. Ocaml Makefile
Easy to use Makefile for small to medium-sized OCaml-projects
271. Pack.re
a simple js bundler for reason
✭ 67
ocaml
272. Mldoc
Another Emacs Org-mode and Markdown parser.
✭ 67
ocaml
273. Ocaml llvm
Toy compiler for OCaml Meetup
✭ 66
ocaml
274. Rdr
Rdr is a cross-platform binary analysis and reverse engineering library, utilizing a unique symbol map for global analysis.
✭ 66
ocaml
275. Ocamllint
Detect common errors in OCaml code
✭ 66
ocaml
276. Milewski Ctfp Pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
277. Opam User Setup
Simplify the configuration of editors for using OCaml tools
✭ 65
ocaml
278. Capnp Rpc
Cap'n Proto RPC implementation
279. Slacko
A neat interface for Slack
281. Libcrunch
Runtime + instrumentation adding precise, accurate and fash(-ish) dynamic checking to C (bounds errors, type confusion, ...).
✭ 63
ocaml
283. Ocaml Stdint
Various signed and unsigned integers for OCaml
✭ 62
ocaml
284. Native Coq
Coq with native compilation, as well as machine integers and arrays !
✭ 61
ocaml
285. Ppx sexp conv
Generation of S-expression conversion functions from type definitions
✭ 60
ocaml
286. Mechaml
OCaml functional web scraping library
287. Functoria
A DSL to invoke otherworldly functors
✭ 58
ocaml
289. Down
An OCaml toplevel (REPL) upgrade
✭ 58
ocaml
290. Dvm
Fast and simple Deno runtime version manager written in OCaml
291. Parsifal
Parsifal : an OCaml-based parsing engine
✭ 57
ocaml
292. Ocaml Lens
Private extraction of astrada's lens library
✭ 57
ocaml
293. Cuite
(mirror) OCaml bindings to Qt toolkit.
✭ 57
ocaml
294. Ocamlscript
Write an OCaml script, run an optimized executable
✭ 56
ocaml
295. Xs
concatenative array language inspired by kdb/+q
✭ 56
ocaml
296. Bs React Navigation
A fast, declarative navigation for React Native, based on React Navigation
297. Bincat
Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection
298. Release
A multi-process daemon framework for OCaml
✭ 54
ocaml
299. Lablgtk
LablGTK 2 and 3: an interface to the GIMP Tool Kit
✭ 54
ocaml
300. Findr
🔎 A simple and intuitive find & replace command-line interface.