lobsters / mockturtle
Lobsters IRC bot
☆14Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for mockturtle
- Personal Hidden Git Server☆24Updated 2 years ago
- a static html and gemini mail archive for the 21st century, written in Rust☆25Updated 3 months ago
- Kit-kat clock utility rewritten in Rust using minifb☆20Updated 2 years ago
- A nix flake for running 9front virtual machines with drawterm☆40Updated 6 months ago
- Ms Thesis @ FEUP☆28Updated 4 months ago
- Really Weird Shell - shell based around Structral Regular Expressions - mirror repo☆14Updated 5 years ago
- Code to go with my article "The AWK book's 60-line version of Make"☆13Updated last year
- A personal API☆17Updated last year
- Rusty 'ole twtxt parsing library☆19Updated 4 years ago
- User-configurable login shell configured by the SHELLS environment variable.☆19Updated 6 months ago
- A Gopher server in Lua☆16Updated 3 months ago
- A synchronous, single-threaded interface for starting processes on Linux☆28Updated 3 years ago
- Xe's RISCV kernel/OS for learning RISCV☆13Updated last year
- [deprecated] link aggregator for Gemini protocol☆28Updated 2 years ago
- A pure Rust implementation of the GNU Recutils format☆26Updated 6 years ago
- Statistical Phonotactics-Aware Word Generation System☆20Updated 8 years ago
- Talk to God on up to 64 cores☆31Updated 5 years ago
- A cat that can't be piped. 🐱☆18Updated 2 years ago
- An optimizing Brainfuck interpreter.☆13Updated 5 years ago
- Nash stands for Nash shell.☆13Updated 4 years ago
- A portable self-bootstrapping C compiler☆49Updated last week
- An experimental WASM runtime for Plan 9.☆28Updated last year
- My nix setup☆21Updated this week
- RPM macros for packaging Rust binaries☆11Updated 6 years ago
- A curl-like cli application to interact with Gemini sites.☆16Updated last year
- Resurrecting the Qi/Ph nameserver from '93☆31Updated 5 years ago
- 🧹🧹🧹 File expiration for any filesystem☆46Updated last year
- Software by https://100r.co, packaged for Nix☆17Updated 4 years ago
- Markdown renderer and other site generator tools.☆12Updated 6 months ago