Lists (16)
Sort Name ascending (A-Z)
- All languages
- ANTLR
- ASP
- ActionScript
- Ada
- Assembly
- Batchfile
- Bicep
- Bikeshed
- Bluespec
- Boogie
- C
- C#
- C++
- CSS
- Chapel
- Common Lisp
- Component Pascal
- Coq
- Cuda
- D
- Dart
- Dockerfile
- Emacs Lisp
- Flix
- Go
- HTML
- Haskell
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- M
- M4
- MLIR
- Makefile
- Markdown
- Modula-2
- Mojo
- Nim
- Nix
- OCaml
- Objective-C
- PHP
- POV-Ray SDL
- Pascal
- Perl
- PostScript
- PowerShell
- Processing
- Python
- R
- Rich Text Format
- Rocq Prover
- Roff
- Ruby
- Rust
- SMT
- Sail
- SaltStack
- Scala
- Scheme
- Shell
- Smali
- Smalltalk
- Swift
- SystemVerilog
- Tcl
- TeX
- TypeScript
- V
- VHDL
- Verilog
- XSLT
- Zig
Starred repositories
Git with a cup of tea! Painless self-hosted all-in-one software development service, including Git hosting, code review, team collaboration, package registry and CI/CD
high-performance graph database for real-time use cases
Reproducing images with geometric primitives.
jq for binary formats - tool, language and decoders for working with binary and text formats
syzkaller is an unsupervised coverage-guided kernel fuzzer
Generate high-quality triangulated and polygonal art from images.
A censorship circumvention tool to evade detection by authoritarian state adversaries
Convert images to computer generated art using delaunay triangulation.
Zygo is a Lisp interpreter written in 100% Go. Central use case: dynamically compose Go struct trees in a zygo script, then invoke compiled Go functions on those trees. Makes Go reflection easy.
Low power, E-Ink dashboard for every day life running on a hacked Kindle.
SDLC evidence store and policy engine for your Software Supply Chain attestations, SBOMs, VEX, SARIF, QA reports, and more
GitHub App to watch for PRs merged without a reviewer approving.
Repository of CMSIS Software Pack for software event generation and input/output handling.
[MOVED TO GITLAB] A dynamic and extensible music library organizer
[MOVED TO GITLAB] Package unicode adds unicode support to some functions in golua's string library.