LawVM github.com ↗

An open-source project compiling amendment-driven law into consolidated versions.

ToolDev toolslegislationcompileropen-source

Recommended in 1 thread

Git for the US Code
lexifina.com · 2 days ago
Author says it already handles Finnish and Estonian law.

immich-go ↗Dev tools
A command-line uploader for importing photos, including Google Takeout archives, into Immich.
1 thread
anyzig Dev tools
A tool that runs the right Zig compiler version for each project.
1 thread
yt-dlp Dev tools
A command-line tool for downloading video and audio from YouTube and other sites.
1 thread
Alloy ↗Dev tools
A lightweight formal modeling language and analyzer for software designs.
1 thread
TLA+ Dev tools
A formal specification language by Leslie Lamport for designing and checking systems.
1 thread
qmd ↗Dev tools
Local search engine for markdown documents with hybrid semantic search.
1 thread
Aeneas ↗Dev tools
A toolchain that translates safe Rust programs into proof assistants like Lean for verification.
1 thread
qemu-t8030 ↗Dev tools
A QEMU fork by TrungNguyen1909 that emulates the Apple A13 (T8030) to boot iOS.
1 thread

Pi ↗
An extensible terminal coding agent that can switch between models.
4 threads
F-Droid
An app store distributing free and open-source Android apps.
3 threads
Claude Code
Anthropic's terminal-based coding agent harness.
2 threads
Collie ↗
A mobile interface to desktop agent sessions via tmux, zellij or herdr.
2 threads
Forgejo
A self-hostable community-driven software forge.
2 threads
OpenCode
An open-source terminal coding agent harness.
2 threads
OrbStack
A macOS app for running Docker containers and Linux VMs.
2 threads
Playwright
A browser automation framework for end-to-end testing.
2 threads
lossy-git ↗
A toy version control system that stores code by training a neural network and reconstructs it on checkout.
2 threads
uv
Fast Python package and project manager.
2 threads
Aeneas ↗
A toolchain that translates safe Rust programs into proof assistants like Lean for verification.
1 thread
Alloy ↗
A lightweight formal modeling language and analyzer for software designs.
1 thread

Link from a commenter, not checked or endorsed by us: ↗ https://github.com/eliask/lawvm