A static analyzer for Java, C, C++, and Objective-C
Repository Index
47,133 repositories indexed
1–24 of 43 · Most stars
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
- ocaml
- javascript
- reasonml
- reason
ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.
- compiler
- javascript
- altjs
- rescript
A composable build system for OCaml.
- build
- ocaml
- opam
- dune
Jane Street Capital's standard library overlay
Standard library for OCaml
Batteries Included project
C Intermediate Language
A library for building dynamic webapps, using Js_of_ocaml.
Low-level JSON parsing and pretty-printing library for OCaml
- json
- ocaml
- yojson
- parser
The Xapi Project's XenAPI Server
Static types for JSON APIs
OCaml project generator.
- spin
- ocaml
- reason
- template
OCaml library for reading, writing and modifying PDF files
Jane Street's standard library overlay (kernel)
drom is a wrapper over opam/dune in an attempt to provide a cargo-like user experience. It can be used to create full OCaml projects with sphinx and odoc documentation. It has specific knowledge of Github and will generate files for Github Actions CI and Github pages.
Automated S-expression conversion
Cram like framework for OCaml
Easy OCaml bindings for Javascript libraries
A Yojson codec generator for OCaml.
- deriving
- json
OCaml template engine almost compatible with jinja2
- ocaml
- jinja2
- template-engine
Nice parsers in OCaml without the boilerplate
- ocaml
- menhir
- boilerplate
- parsing
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.
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
- coq
- dependency-graph
- dependency-analysis
- docker-coq-action