Highlights
Stars
- All languages
- Agda
- Assembly
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Cuda
- D
- Dhall
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- F*
- Fancy
- Flix
- G-code
- Gleam
- Go
- HTML
- Haskell
- Idris
- Io
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Koka
- Kotlin
- LiveScript
- Lua
- M4
- MDX
- Makefile
- Markdown
- Nim
- Nix
- OCaml
- Objective-C
- Objective-J
- PHP
- Perl
- Pony
- Prolog
- PureScript
- Python
- Racket
- ReScript
- Reason
- Red
- Rocq Prover
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Standard ML
- Starlark
- Swift
- Tcl
- TeX
- TypeScript
- Vala
- Vim Script
- WebAssembly
- Wren
- XSLT
- Yacc
- Zig
- q
Direct-style parser combinator library for OCaml 5
A modern, TreeSitter-powered, Emacs major mode for OCaml
quillpad / quillpad
Forked from msoultanidis/quillnoteTake beautiful markdown notes and stay organized with task lists.
Amperfy is an iOS/iPadOS/macOS app to play songs from an Ampache or Subsonic server
A utility to expand module names in OCaml programs
Effortless Python bindings for OCaml modules
Llama-style transformer in PyTorch with multi-node / multi-GPU training. Includes pretraining, fine-tuning, DPO, LoRA, and knowledge distillation. Scripts for dataset mixing and training from scratch.
OCaml bindings to MariaDB, supporting the nonblocking API
Feature rich WhatsApp Client for Desktop Linux
An interactive tool for experimenting with LR(1) grammars
Implementation of "Pattern Matching in Trees", in OCaml.
An Example using PDM/pip sources to handle a single repo with local packages
A minimalist, general-purpose programming language based on meta-programming and parse tree rewrites
A programming language with static memory management based on λ-calculus
A proof-of-concept for justified containers in OCaml
Library of 40+ independent Lua modules improving Neovim experience with minimal effort
The native Clojure dialect hosted on LLVM with seamless C++ interop.
Source Code for Practical Vim, Second Edition