Stars
- All languages
- ActionScript
- Assembly
- C
- C#
- C++
- CSS
- CoffeeScript
- Common Lisp
- Go
- HTML
- Haskell
- Java
- JavaScript
- Julia
- Jupyter Notebook
- KiCad Layout
- Kotlin
- Lean
- Lua
- MATLAB
- Mako
- Mathematica
- NASL
- Nearley
- Nunjucks
- OCaml
- Perl
- Python
- Racket
- Raku
- Ruby
- Rust
- SWIG
- Scheme
- Shell
- Solidity
- Standard ML
- Swift
- TeX
- TypeScript
- Vim Script
A prompt engineering functional programming language
A small collection of formally verified junk theorems provable in Lean4 + Mathlib.
Compares two latex files and marks up significant differences between them. Releases on www.ctan.org and mirrors
Anonymous Github is a proxy server to support anonymous browsing of Github repositories for open-science code and data.
Scheduling infrastructure for absolutely everyone.
A list of AI agents and robots to block.
Python package to read and write sas, spss and stata files into/from pandas and polars data frames. It is a wrapper for the C library readstat.
Fast computation of Krippendorff's alpha agreement measure in Python.
The Rosette solver-aided host language, sample solver-aided DSLs, and demos
🍅 World's neatest Pomodoro timer for macOS menu bar
Exocompilation for productive programming of hardware accelerators
Efficiently inverting a probabilistic graphics program of face generation with an inference network. Includes computational models and neural and behavioral data analysis.
😈Awful AI is a curated list to track current scary usages of AI - hoping to raise awareness
Arduino PS2 Keyboard FULL keyboard protocol support and full keys to integer coding
All-in-one browser extension for Scratch.
One hundred challenge problems for logical formalizations of commonsense psychology
⚡ A Fast, Extensible Progress Bar for Python and CLI
Digital Estate Planning: The Game
Supplementary materials for our SIGGRAPH 2022 paper
A simple forward proxy server for processing API calls to servers that don't send CORS headers or support HTTPS.