Stars
- All languages
- Agda
- Assembly
- Batchfile
- Brainfuck
- C
- C#
- C++
- CSS
- CoffeeScript
- Common Lisp
- Coq
- Cuda
- Dockerfile
- Dune
- Elixir
- Elm
- Emacs Lisp
- F#
- F*
- Forth
- Fortran
- Futhark
- GAP
- Go
- HTML
- Haskell
- Haxe
- Isabelle
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- M4
- MDX
- Makefile
- Markdown
- Monkey C
- NSIS
- Nix
- OCaml
- Objective-C
- P4
- Perl
- Prolog
- Python
- Raku
- ReScript
- Reason
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- SMT
- Sail
- Scala
- Scheme
- Shell
- Smali
- Standard ML
- Starlark
- TSQL
- TeX
- TypeScript
- VHDL
- Verilog
- Vim Script
- WebAssembly
- Zig
Zero heap allocation HTTP server using OxCaml. v experimental!
Type-safe Tailwind CSS in OCaml - A lightweight utility-first CSS generation library with prose typography support, responsive modifiers, and minimal bundle size for js_of_ocaml.
Old-school audio player with decent music library management
A simple unikernel which provides a search engine from an emails archive
Multi-Exchange Streaming Abstraction Framework in Ocaml
Rust-like syntax for WebAssembly featuring a full toolchain for conversion, type-checking, and auto-formatting.
Class instances for Coq inductive types with little boilerplate
demonstration of the extension literals and constant rewriting features
A statistical continuous profiler for OCaml compatible with Pyroscope
Durin is a library for reading and writing the Dwarf debugging format
camlp5 / pcre2-ocaml
Forked from tobil4sk/pcre2-ocamlOCaml bindings to PCRE (Perl Compatibility Regular Expressions)
OCaml bindings to PCRE (Perl Compatibility Regular Expressions)