- All languages
- ATS
- Agda
- Assembly
- Augeas
- BQN
- C
- C#
- C++
- CMake
- CSS
- Cirru
- Clojure
- CoffeeScript
- Coq
- Cuda
- Dart
- Erlang
- F#
- Go
- HTML
- Haskell
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Lean
- LiveScript
- Lua
- Makefile
- Nix
- OCaml
- Objective-C
- Objective-C++
- Objective-J
- PHP
- PLpgSQL
- Perl
- Prolog
- PureScript
- Python
- ReScript
- Reason
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- Sass
- Scala
- Scheme
- Shell
- Standard ML
- Starlark
- Swift
- Tcl
- TeX
- Tree-sitter Query
- TypeScript
- Vim Script
- Zig
- q
Starred repositories
A modern runtime for JavaScript and TypeScript.
A cross-platform, OpenGL terminal emulator.
A syntax-highlighting pager for git, diff, grep, rg --json, and blame output
An incremental parsing system for programming tools
Adds static typing to JavaScript to improve developer productivity and code quality.
A modern editor with a backend written in Rust.
Relay is a JavaScript framework for building data-driven React applications.
Modern embedded framework, using Rust and async.
Rust bindings for writing safe and fast native Node.js modules.
Make your JSON data collaborative and version-controlled with CRDTs
Fast and friendly HTTP server framework for async Rust
Convergent, Replicated SQLite. Multi-writer and CRDT support for SQLite
Language Server Protocol (LSP) support for vim and neovim.
Record Query - A tool for doing record analysis and transformation
[DEPRECATED] Sodium Oxide: Fast cryptographic library for Rust (bindings to libsodium)
📝 Web-based, reactive Datalog notebooks for data analysis and visualization
Example of Rust integration into an ESP-IDF project, for ESP32 series of chips
A menagerie of cute implementations of modern typechecking algorithms
`t` (T-for-text) is a concise language for manipulating text, replacing common usage patterns of Unix utilities like grep, sed, cut, awk, sort, and uniq.