Lists (4)
Sort Name ascending (A-Z)
- All languages
- Ada
- Agda
- AngelScript
- Assembly
- Awk
- BASIC
- BQN
- Batchfile
- Brainfuck
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Cuda
- D
- DM
- Dart
- Emacs Lisp
- F#
- Factor
- Fennel
- Forth
- Fortran
- GAP
- Go
- HTML
- Haskell
- Haxe
- HolyC
- Io
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Limbo
- Logos
- Lua
- M
- M4
- MATLAB
- MDX
- Makefile
- Markdown
- Modula-2
- NewLisp
- Nim
- OCaml
- Oberon
- Odin
- OpenEdge ABL
- PHP
- PLpgSQL
- Pascal
- Perl
- PicoLisp
- PostScript
- Processing
- Prolog
- Python
- Racket
- Ragel
- Raku
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Scilab
- Self
- Shell
- Standard ML
- Svelte
- SystemVerilog
- Tcl
- TeX
- TypeScript
- Typst
- VHDL
- Verilog
- WebAssembly
- Yacc
- Zig
- reStructuredText
Starred repositories
STOKE: A stochastic superoptimizer and program synthesizer
A brainfuck (http://en.wikipedia.org/wiki/Brainfuck) self-interpreter. That is - a brainfuck interpreter, in brainfuck.
Relatively fast, cleanly written C and Python Brainfuck interpreters
NekoBox for Android / sing-box / universal proxy toolchain for Android
A GUI client for Windows, Linux and macOS, support Xray and sing-box and others
A Python 3 implementation of the famous META II metacompiler.
OCaml PLTP: An independent reproduction of the Boyer-Moore Pure Lisp Theorem Prover
Hierarchical Reasoning Model Official Release
Source code for evolutionary music engine to accompany forthcoming journal article
Traceroute with any packet. Visualize the routes. Discover Middleboxes and Firewalls
TruthfulQA: Measuring How Models Imitate Human Falsehoods
llama.cpp fork with additional SOTA quants and improved performance
A collection of design patterns/idioms in Python
The interactive graphing library for Python ✨