Stars
- All languages
- Batchfile
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Dart
- Elm
- Emacs Lisp
- Erlang
- F#
- Futhark
- Go
- HTML
- Haskell
- Haxe
- Java
- JavaScript
- Jupyter Notebook
- MDX
- Makefile
- NSIS
- OCaml
- Objective-C
- Opa
- PHP
- Python
- Raku
- Reason
- Rocq Prover
- Ruby
- Rust
- SCSS
- Scala
- Shell
- Standard ML
- Swift
- TeX
- TypeScript
- WebAssembly
- Zig
Durin is a library for reading and writing the Dwarf debugging format
The Stan transpiler (from Stan to C++ and beyond).
OCaml implementation of a NES Legend of Zelda-style browser-based game
[ICLR 2024] Efficient Streaming Language Models with Attention Sinks
Bindings for o1js to lower layers of the proof system and the Mina transaction logic
Michelson VM and Tezos OS rewritten in Rust
The Ott tool for writing definitions of programming languages and calculi
α A type of divination employed in attempts to locate identifiers matching a given type expression
a structural diff that understands syntax π₯π©
SanderSpies / ocaml
Forked from ocaml/ocamlWebAssembly backend for OCaml
Javascript stubs for the integers library in js_of_ocaml