- All languages
- Agda
- AppleScript
- Assembly
- Astro
- C
- C#
- C++
- CMake
- CSS
- CWeb
- Circom
- Clojure
- CodeQL
- CoffeeScript
- Common Lisp
- Common Workflow Language
- Coq
- Cuda
- Cython
- Dart
- Dockerfile
- Elixir
- Emacs Lisp
- Erlang
- F#
- FreeBASIC
- Go
- Groovy
- HTML
- Haskell
- Java
- JavaScript
- JetBrains MPS
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- MATLAB
- MDX
- MLIR
- Makefile
- Markdown
- Mathematica
- Nim
- Nix
- OCaml
- Objective-C
- Objective-C++
- PHP
- Perl
- PostScript
- PowerShell
- PureScript
- Python
- R
- Racket
- ReScript
- Roff
- Ruby
- Rust
- SCSS
- Sage
- Scala
- Scheme
- Shell
- Smarty
- Solidity
- Standard ML
- Swift
- SystemVerilog
- Tcl
- TeX
- Tree-sitter Query
- TypeScript
- Vim Script
- Vue
- Web Ontology Language
- WebAssembly
- XSLT
- YASnippet
- Yacc
- Zig
Starred repositories
Fast, compact, open-source, TEI-compliant C++ implementation of the Coherence-Based Genealogical Method
Multi-dimensional arrays (tensors) and numerical definitions for Elixir
Minimal open-source implementation of AlphaProof [WIP]
Introduction to Machine Learning Systems
An extremely fast Python type checker and language server, written in Rust.
Catalyst interface and online tools for stemmatology research
Highly accessible themes for GNU Emacs, conforming with the highest standard for colour contrast between background and foreground values (WCAG AAA).
A port of the pikchr markup language interpreter to pure Go
🔍 ugrep 7.5 file pattern searcher -- a user-friendly, faster, more capable grep replacement. Includes a TUI, Google-like Boolean search with AND/OR/NOT, fuzzy search, hexdumps, searches (nested) ar…
A cross-platform command-line utility that creates projects from cookiecutters (project templates), e.g. Python package projects, C projects.
Heritage.py -- Python Interface to The Sanskrit Heritage Site
Snapshots of the GRETIL repository of South Asian (Sanskrit, Pali, etc.) etexts
Generate difference sets between Ruby sequences.
Website to perform OCR on ancient Indian script Sharada
Extracts and formats text annotations from a PDF file
Migrate to PostgreSQL in a single command!
Integrate Dart Sass with the asset pipeline in Rails
DHARMA project Task Force B, Licchavi epigraphic corpus.
Model checker for Maude systems controlled by strategies