ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.
- compiler
- javascript
- altjs
- rescript
Repository Index
47,133 repositories indexed
1–19 of 19 · Most stars
Irmin is a distributed database that follows the same design principles as Git
Owl - OCaml Scientific Computing @ https://ocaml.xyz
- matrix
- linear-algebra
- ndarray
- statistical-functions
Parser combinators built for speed and memory efficiency
A high performance, memory efficient, and scalable web server written in OCaml
- ocaml
- http
OCaml bindings for PyTorch
C Intermediate Language
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.
Rocq plugin embedding Elpi
- coq
- metaprogramming
- extension-language
- lambda-prolog
Interfacing Qt/QML with OCaml. Formely known as lablqt
Exercism exercises in OCaml.
- exercism-track
- community-contributions-accepted
- maintained-solitary
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
- coq
- dependency-graph
- dependency-analysis
- docker-coq-action
A library to build and execute typed scientific workflows
A fully-modular OCaml style linter
Old Coq plugin for parametricity [maintainer=@ppedrot]
- parametricity
- coq-plugin
- coq
- docker-coq-action
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
- coq-plugin
- coq-tactic
- coq
- docker-coq-action
A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.
- algorand
- blockchain
- cryptocurrency
- domain-specific-language
Official OCaml port of Sqids. Generate short unique IDs from numbers.
- id-generator
- ocaml
- sqids
- hashids
Open Source Social Database