A static analyzer for Java, C, C++, and Objective-C
Repository Index
71,372 visible repositories in the index
1–12 of 12 · Most stars
ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.
- compiler
- javascript
- altjs
- rescript
An OCaml generic virtual machine for microcontrollers
A simple scheduler for OCaml 5
- effects
- ocaml
- parallelism
- scheduler
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
- coq
- dependency-graph
- dependency-analysis
- docker-coq-action
A neat interface for Slack
A simple multi-format pretty-printer for Menhir.
- ocaml
- menhir
- parser
- pretty-print
Object Relational Mapper extension
Famous 99 problems in OCaml
simple package build system for ocaml
Inspection of internal value representations and the object graph
The repository host gives no description.
- ocaml
- hacktoberfest
- toplevel