Stars
- All languages
- Ada
- Assembly
- Awk
- BQN
- C
- C#
- C++
- CMake
- CSS
- Clojure
- Common Lisp
- Coq
- Cuda
- Dart
- Dhall
- Emacs Lisp
- F#
- F*
- Go
- Go Template
- HTML
- Haskell
- Idris
- Isabelle
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- Koka
- Kotlin
- Lean
- Lua
- Makefile
- Nearley
- Nix
- OCaml
- Objective-C
- OpenSCAD
- PHP
- PostScript
- Python
- Racket
- Rocq Prover
- Ruby
- Rust
- SMT
- Sail
- Shell
- Solidity
- Standard ML
- Starlark
- Svelte
- Swift
- TeX
- TypeScript
- Typst
- Vim Script
- Zig
Run macOS VM in a Docker! Run near native OSX-KVM in Docker! X11 Forwarding! CI/CD for OS X Security Research! Docker mac Containers.
An agentic skills framework & software development methodology that works.
Scripts to build your own IPsec VPN server, with IPsec/L2TP, Cisco IPsec and IKEv2
Streisand sets up a new server running your choice of WireGuard, OpenConnect, OpenSSH, OpenVPN, Shadowsocks, sslh, Stunnel, or a Tor bridge. It also generates custom instructions for all of these s…
Run macOS on QEMU/KVM. With OpenCore + Monterey + Ventura + Sonoma support now! Only commercial (paid) support is available now to avoid spammy issues. No Mac system is required.
[GPLv3+] install nixos over the existing OS in a DigitalOcean droplet (and others with minor modifications)
The main repository for the TrueBlocks system
A fork of password-store (https://www.passwordstore.org) that uses age (https://age-encryption.org) as backend.
Safely shareable TLS root CA for .internal networks using Name Constraints
Fast, powerful, git-native ticket tracking in a single bash script. Dependency graphs, priority levels, zero setup.
Utilities to get Alpine Linux running on Kindles
Scientists are SHOCKED by how easy it is to disrupt a $550B industry with this one weird trick!
Assembly implementation of EIP-4788 system contract.
system to run repls in background, useful for ai automation
Verification tests for solidity semantics