- All languages
- ActionScript
- Agda
- Answer Set Programming
- Assembly
- Batchfile
- C
- C#
- C++
- CSS
- Chapel
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Cuda
- Cython
- D
- Dart
- Dhall
- Dockerfile
- Elm
- Emacs Lisp
- Erlang 8000
- F#
- Forth
- Fortran
- Frege
- Gherkin
- Go
- HTML
- Haskell
- Haxe
- J
- Java
- JavaScript
- JetBrains MPS
- Jinja
- Jsonnet
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lex
- Lua
- MATLAB
- MDX
- Makefile
- Mathematica
- Mustache
- NewLisp
- Nim
- Nix
- OCaml
- Objective-C
- OpenQASM
- Oz
- PHP
- 8000 PLpgSQL
- Perl
- PlantUML
- Pony
- PostScript
- PowerShell
- Processing
- Prolog
- PureScript
- Python
- R
- Racket
- Reason
- Ren'Py
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- SMT
- Scala
- Scheme
- Self
- Shell
- Shen
- Smalltalk
- Smarty
- Standard ML
- Swift
- TeX
- Thrift
- TypeScript
- Uno
- V
- VBA
- VHDL
- Vala
- Verilog
- Vim Script
- Vue
- Web Ontology Language
- WebAssembly
- Zig
- q
Starred repositories
Default Repo description from terraform module
Simple configuration management with python
Emacs 29+ minor mode for syntax tree navigation using Tree Sitter
Unbearably fast near-real-time hybrid runtime-static type-checking in pure Python.
S-RL Toolbox: Reinforcement Learning (RL) and State Representation Learning (SRL) for Robotics
Bullet Physics SDK: real-time collision detection and multi-physics simulation for VR, games, visual effects, robotics, machine learning etc.
Specify and synthesize systems using symbolic algorithms
KDE Plasma add-on, that tiles your windows automatically and lets you manage them via keyboard, similarly to i3, Sway or dwm.
Use a quantum computer to decode cellphone signals
Make Emacs use the $PATH set up by the user's shell
A fast, user friendly ORM and query builder which supports asyncio.
A natural language interface for computers
Implementation of Nougat Neural Optical Understanding for Academic Documents
Solvers/annealers for simulated quantum annealing on CPU and CUDA(NVIDIA GPU).
🏵️ A curated list of Emacs Lisp development resources
Hyperdrive is a secure, real time distributed file system
A specification that python filesystems should adhere to.