- All languages
- ANTLR
- APL
- ATS
- Assembly
- Awk
- BQN
- Batchfile
- Bikeshed
- BrighterScript
- Brightscript
- C
- C#
- C++
- CMake
- COBOL
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Cuda
- Cython
- D
- Dart
- Dockerfile
- Elixir
- Emacs Lisp
- F#
- F*
- Factor
- Fancy
- Forth
- Fortran
- Go
- HCL
- HTML
- Haskell
- Jai
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Koka
- Kotlin
- Lean
- Lua
- MATLAB
- MDX
- MLIR
- Makefile
- Markdown
- Nim
- Nix
- OCaml
- Objective-C
- Odin
- OpenSCAD
- PHP
- PLpgSQL
- Pascal
- Perl
- PowerShell
- Prolog
- Python
- R
- Raku
- Rich Text Format
- Rocq Prover
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Standard ML
- Svelte
- Swift
- SystemVerilog
- TeX
- TypeScript
- VHDL
- Vala
- Verilog
- Vim Script
- Vue
- Wolfram Language
- Zig
- hoon
Starred repositories
High-performance GPU-accelerated signal processing and visualization framework that runs anywhere.
A collection of skills for AI coding agents from Semgrep
Lightning fast data version control system for structured and unstructured machine learning datasets. We aim to make versioning datasets as easy as versioning code.
Native Android messaging app using Bluetooth LE, TCP, or RNode (LoRa) over LXMF and Reticulum
Tool that gathers a customizable set of ETW telemetry and generates user-defined detections
This library provides a way to move cursor to specified coordinates on screen reliably, while being randomly arced to look like real hand moved it there by using a mouse. The default settings shoul…
absurder-sql which absurdly utilizes a custom SQLite VFS backend to treat IndexedDB like a disc and store data blocks.
Bf-Tree is a modern read-write-optimized concurrent larger-than-memory range index in Rust from MS Research.
Intercept LLM API traffic and visualize token usage in a real-time terminal dashboard. Track costs, debug prompts, and monitor context window usage across your AI development sessions.
`t` is a concise language for manipulating text, replacing common usage patterns of Unix utilities like grep, sed, cut, awk, sort, and uniq.
An SRE agent that does what you can't. Queries your observability stack. Finds root causes. Doesn't panic. Doesn't guess. Doesn't care about your feelings. You're welcome.
A 5-20x faster experimental Homebrew alternative
Beads - A memory upgrade for your coding agent
Sutskever 30 implementations inspired by https://papercode.vercel.app/
A tiny experimental language designed to be targeted by coding LLMs
A model checker for implementing distributed systems.
JuiceFS is a distributed POSIX file system built on top of Redis and S3.
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
The Concise TypeScript Book: A Concise Guide to Effective Development in TypeScript. Free and Open Source.
a Solana validator client implementation written in Zig
CLI tool for managing git worktree-based workflows
Yoga is an embeddable layout engine targeting web standards.
Terminal UI for AWS (taws) - A terminal-based AWS resource viewer and manager