Stars
- All languages
- APL
- Agda
- Alloy
- Arc
- Assembly
- C
- C#
- C++
- CSS
- CoffeeScript
- Coq
- D
- Dart
- Dhall
- Dockerfile
- Elm
- Emacs Lisp
- F#
- GCC Machine Description
- GDScript
- GLSL
- Go
- HTML
- Haskell
- Java
- JavaScript
- Jinja
- Jupyter Notebook
- KiCad Layout
- Kotlin
- Lean
- Lua
- Makefile
- Nix
- OCaml
- OpenSCAD
- PHP
- Perl
- PostScript
- PureScript
- Python
- QML
- R
- Racket
- Ruby
- Rust
- SCSS
- SMT
- Scala
- Shell
- Svelte
- Swift
- SystemVerilog
- Tcl
- TeX
- TypeScript
- Verilog
- Vim Script
- WebAssembly
- hoon
🐝 A Koreader extension that automatically logs to Beeminder.
Super Nintendo Entertainment System for Tang FPGA boards
NESTang is an FPGA Nintendo Entertainment System implemented with Sipeed Tang Primer 25K, Nano 20K and Primer 20K boards
Live share to a browser the drawing made on a ReMarkable tablet
use your reMarkable as a graphics tablet
An agda formalisation of the ChorLambda type system
Checkpoint the state of Python programs using Pythonic setjmp and longjmp
Computationally cheap method to calculate electron-phonon coupling from frozen phonon calculations in large systems using phonopy and Quantum ESPRESSO
A complete decompilation of Sonic 1 & Sonic 2 (2013) & Retro Engine (v4)
Turnstyle is a graphical esoteric programming language based on lambda calculus
Web Rendering Proxy: Use vintage, historical, legacy browsers on modern web
Add Clippy or his friends to any website for instant nostalgia
Convert your Mechanical Keyboard into a Stenotype!
A wireless corne / crkbd ergonomic keyboard clone with support for a trackpoint. Built with ergogen v4.
A convenience API for NFC cards manipulations on top of libnfc.