Lists (1)
Sort Name ascending (A-Z)
- All languages
- Adblock Filter List
- Agda
- Alloy
- Assembly
- Awk
- Bikeshed
- Bison
- C
- C#
- C++
- CSS
- Clojure
- Common Lisp
- Coq
- Crystal
- Dart
- Dockerfile
- Elixir
- Emacs Lisp
- Erlang
- F*
- Fluent
- Forth
- Futhark
- Go
- HTML
- Haskell
- Idris
- Isabelle
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- Makefile
- Markdown
- OCaml
- Objective-C
- OpenSCAD
- Perl
- Perl 6
- PostScript
- PowerShell
- Prolog
- Python
- QMake
- Racket
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- Sail
- Shell
- Svelte
- Swift
- SystemVerilog
- TLA
- Tcl
- TeX
- TypeScript
- VHDL
- Vala
- Verilog
- Vim Script
- Visual Basic
- XSLT
- sed
Starred repositories
Collection of various algorithms in mathematics, machine learning, computer science, physics, etc implemented in C for educational purposes.
mimalloc is a compact general purpose allocator with excellent performance.
A simple Minecraft clone written in C using modern OpenGL (shaders).
Sioyek is a PDF viewer with a focus on textbooks and research papers
Transmits AM radio on computers without radio transmitting hardware.
sc-im - Spreadsheet Calculator Improvised -- An ncurses spreadsheet program for terminal
Lightweight and customizable notification daemon
Applicative Protocol Multiplexer (e.g. share SSH and HTTPS on the same port)
A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.
open-source IEEE 802.11 WiFi baseband FPGA (chip) design: driver, software
A vi-like editor based on Plan 9's structural regular expressions
Portable C and C++ Development Kit for x64 (and x86) Windows
Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety. The goal is to let people easily make their existing C code type-safe and eliminate …
Custom firmware for the Xiaomi Thermometer LYWSD03MMC and Telink Flasher via USB to Serial converter
U2F USB token optimized for physical security, affordability, and style