Stars
- All languages
- APL
- ASP
- ActionScript
- Ada
- Agda
- Assembly
- Awk
- BQN
- Batchfile
- Brainfuck
- C
- C#
- C++
- CMake
- CSS
- Cairo
- Clojure
- Common Lisp
- Coq
- Crystal
- Dafny
- Dart
- Dhall
- Dockerfile
- Emacs Lisp
- F#
- F*
- Fennel
- Fortran
- GDScript
- Go
- Grace
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- Lean
- Logos
- Lua
- M4
- MDX
- Makefile
- Markdown
- Mercury
- MoonScript
- Nim
- Nix
- OCaml
- Objective-C
- OpenSCAD
- PHP
- PLpgSQL
- Perl
- PowerShell
- Prolog
- PureBasic
- Python
- QML
- Rich Text Format
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Spline Font Database
- Starlark
- SuperCollider
- Svelte
- Swift
- SystemVerilog
- TLA
- TeX
- TypeScript
- Vala
- Verilog
- Vim Script
- Visual Basic
- Visual Basic .NET
- Vue
- WebAssembly
- Wren
- Zig
- sed
Share terminal sessions via SVG and CSS
Crypto 101, the introductory book on cryptography.
Create snapshot commits on a not checked-out branch without touching the working tree or losing staged changes
List of ngrok alternatives and other ngrok-like tunneling software and services. Focus on self-hosting.
Control the mouse pointer with the keyboard on Wayland.
Browser extension (Firefox, Chrome, Opera, Edge) to redirect urls based on regex patterns, like a client side mod_rewrite.
(Mirror) S3-compatible object store for small self-hosted geo-distributed deployments. Main repo: https://git.deuxfleurs.fr/Deuxfleurs/garage
Write a simple interpreter of C. Inspired by c4 and largely based on it.
Scripts or programs that produce static or dynamic terminal emulator visuals
A simple, modern and secure encryption tool (and Go library) with small explicit keys, no config options, and UNIX-style composability.
A community driven list of open source alternatives to proprietary software and applications.
Utility for testing random and pseudorandom sequences, either as bytes or bit streams, reporting entropy, mean value, serial correlation, chi square, and Monte Carlo estimate of an value, serial co…
Produce legal code ❌🚔
Hyperwood is an open-source system for crafting furniture from simple wooden slats.
All-in-one Mail & Collaboration server. Secure, scalable and fluent in every protocol (IMAP, JMAP, SMTP, CalDAV, CardDAV, WebDAV).
Generate images of code and terminal output 📸
A userscript that adds several useful features to osm.org β
This repo contains the stats for the College Humor show "Um, Actually..." as well as a simple HTML page to view those stats. The page is mostly driven by the `data.json` file and rendered using Jav…
CSP# is an implementation of Communicating Sequential Processes (CSP) for .NET environments. It is based on an existing, well established Java implementation, JCSP. There is paper, currently in dev…
Authenticated multi-version database: sparse binary merkle tree with compact partial-tree proofs