Stars
F2 is a cross-platform command-line tool for batch renaming files and directories quickly and safely. Written in Go!
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
A description of the Erlang Runtime System ERTS and the virtual Machine BEAM.
Distributed SQL database in Rust, written as an educational project
Personal configuration files (Mirror of https://sr.ht/~tristan957/dotfiles)
Rust reflection, serialization, deserialization, pretty printing, etc. — the last proc macro you should need
⚡A CLI tool for code structural search, lint and rewriting. Written in Rust
Use Tree Sitter to parse your own languages in Rust
A reasonable theorem prover for your reasoning tasks!
📖 A guide for your daily "professional" interactions
Go toolkit for clean, composable, channel-based concurrency
Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.
An interactive cheatsheet tool for the command-line
A compiler and IDE for the Luon programming language - a liaison beween Lua and Oberon+ - targeting LuaJIT
High performance self-hosted photo and video management solution.
This is a simple graph database in SQLite, inspired by "SQLite as a document database"
Online, interactive edition of the "Simply Logical" Prolog textbook
SQLite3 version of Microsoft's Northwind Database
A smarter cd command. Supports all major shells.
A framework for writing performant and reliable networked services.
Fast and flexible scripting for Go developers and DevOps.