Stars
- All languages
- Agda
- C
- C#
- C++
- COBOL
- CSS
- Clojure
- Dart
- Dhall
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- F#
- Go
- HTML
- Haskell
- Java
- JavaScript
- Julia
- Jupyter Notebook
- LLVM
- Lean
- Makefile
- Markdown
- Nix
- OCaml
- PHP
- Perl
- PowerShell
- PureScript
- Python
- Ruby
- Rust
- SCSS
- Sass
- Scala
- Shell
- Standard ML
- Starlark
- Svelte
- Swift
- TeX
- TypeScript
- UrWeb
- Verilog
- Vim Script
- Vue
Lean 4 programming language and theorem prover
reStructuredText Language Support in Visual Studio Code
Source code for the Mathematics in Lean tutorial.
The user home repository for the Mathematics in Lean tutorial.
Code and materials for my book "Pragmatic Type Level Design"
tool for turning Lean proofs into Blender animations
A modern Wine wrapper for macOS built with SwiftUI
A proof assistant for higher-dimensional type theory
Formalisations for simplicial HoTT and synthetic ∞-categories.
A book about compiling Racket and Python to x86-64 assembly
The companion repo for the upcoming Total TypeScript book
higher-order algebraic effects done right for Haskell
The fast, flexible, and elegant library for parsing and manipulating HTML and XML.
Cloudflare Tunnel client (formerly Argo Tunnel)
Official Discord API Documentation
Universally Unique Lexicographically Sortable Identifier
Haskell implementation of ULIDs (Unique Lexicographically Sortable Identifiers)
An ecosystem of tools to build robust applications in TypeScript
Create Music in Seconds with SunoAPI. Contact me , if you need suno api. 👇
Use API to call the music generation AI of suno.ai, and easily integrate it into agents like GPTs.
High performance skia binding to Node.js. Zero system dependencies and pure npm packages without any postinstall scripts nor node-gyp.
Convert character encodings in pure javascript.
JS/Node helpers for Discord Interactions