A static analyzer for Java, C, C++, and Objective-C
Repository Index
61,275 visible repositories in the index
1–8 of 8 · 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
Liquidsoap is a statically typed scripting general-purpose language with dedicated operators and backend for all thing media, streaming, file generation, automation, HTTP backend and more.
- liquidsoap
- streaming
- webradio
Easy OCaml bindings for Javascript libraries
An HTML documentation generator for Coq source files
OCaml/MPI interface
An HTML documentation generator for Rocq source files