ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.
- compiler
- javascript
- altjs
- rescript
Repository Index
81,588 visible repositories in the index
1–22 of 22 · Most stars
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
- proof-assistant
- coq
- theorem-proving
- dependent-types
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
Implementations of various type systems in OCaml.
Effects-based direct-style IO for multicore OCaml
- concurrency
- effects
- io
- multicore
Parser combinators built for speed and memory efficiency
- ocaml
- parser-combinators
- parsing
A modern supercompiler for call-by-value functional languages
OCaml bindings for PyTorch
OCaml bindings for TensorFlow
An OCaml lexer generator for Unicode
The Frenetic Programming Language and Runtime System
Rocq plugin embedding Elpi
- coq
- metaprogramming
- extension-language
- lambda-prolog
Easy OCaml bindings for Javascript libraries
An OCaml generic virtual machine for microcontrollers
A compiler for the 🎃 Spooky 😱 programming language 👻
- halloween
- surprise
- fear
- programming-language
SIMT Abstractions for Runtime Extensible Kernels (GPGPU programing with OCaml)
- spoc
- ocaml
- opencl
- cuda
Nice parsers in OCaml without the boilerplate
- ocaml
- menhir
- boilerplate
- parsing
An SMT solver frontend for OCaml
- ocaml
- smt-lib
- symbolic-execution
- z3
OCaml bindings for Kafka
- ocaml-bindings
- kafka
- librdkafka
Shopify's Liquid templating language in OCaml. Features an interpreter, parser and lexer.
- liquid
- ocaml
- parser-combinators
- shopify
A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.
- algorand
- blockchain
- cryptocurrency
- domain-specific-language
OCaml bindings for OpenGL
- opengl
- ocaml