- All languages
- ActionScript
- Assembly
- C
- C#
- C++
- CSS
- Chapel
- CodeQL
- CoffeeScript
- Common Lisp
- Coq
- Dhall
- Dockerfile
- Eiffel
- Elm
- Emacs Lisp
- Erlang
- F#
- F*
- Go
- HCL
- HTML
- Haskell
- Idris
- Isabelle
- Java
- JavaScript
- Jsonnet
- Jupyter Notebook
- Koka
- Kotlin
- LLVM
- Lean
- Lua
- Makefile
- Markdown
- OCaml
- PHP
- PostScript
- PowerShell
- Processing
- Prolog
- PureScript
- Python
- Reason
- Red
- Rocq Prover
- Ruby
- Rust
- SCSS
- SMT
- Scala
- Shell
- Shen
- Standard ML
- Swift
- TLA
- TeX
- TypeScript
- VHDL
- Vala
- Vue
- Zig
Starred repositories
Enso Analytics is a self-service data prep and analysis platform designed for data teams.
A new data structure for accurate on-line accumulation of rank-based statistics such as quantiles and trimmed means
DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not w…
Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switch…
An agent to hotpatch the log4j RCE from CVE-2021-44228.
GifAnimation is a Processing library to play and export GIF animations
Executable source files that helps everybody write tool in their favorite system languages.