Hey'all good folks. I work at Poyan Afzar, as a Software Language Tooling Engineer by trade. A mouthful, yes, but to quote Ralph Lammel "A software language is a formal system whose syntsax and semantics are only meaningful in software". So, DeBruijn's "Automath" is not a software language. Hoare's CSP used to be not a software language, until Concurrent ML used it as a model of concurrency. But "tooling" is the key here. I am an SLE 'tooling' expert. This means, I make tools tools revolving around software languages. I am writing a book titled "Software Language Tooling: A Vademecum". When that book comes out, make sure to read it, so you can learn SLT, which is a very vest field.
I am also writing "Compilonomikon", a volume on compilers. Compilers are a part of Software Language Tooling, but they warranted a separate volumne, given how extensive the subject it.
Since these two books have a lot in common, I labeled them "Twin Books Project" (we have twins, it's not as fun as people think). You can find the repository for TBP here. Even if you dislike the book, the projects will amaze you. It's still WIP, mind you.
So, there it goes. I am a "Software Language Tooling Engineer".
All the software below has been made without the use of AI. I have nothing against using AI agents, I makee "AI Slop" and I list them under all the software I have toiled on. Plus, for work, I have to use AI agents, because one moment thinking on ow to solve a problem, is one moment wasted.
| Topic | Assembly | C | Rust | Go | Python | Nim | JS | Repo | Description | Status |
|---|---|---|---|---|---|---|---|---|---|---|
| Cryptography | Neither | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | PoxHash | A block hash algorithm with high avalanche effect | Finished |
| Bioinformatics | Aarch64, x86-64 | ✓ | ✓ | ✘ | ✓ | ✘ | ✘ | TransGatacca | DNA/Protein [Reverse] Translator | Terminated |
| Network | x86-64 | ✓ | ✘ | ✘ | ✘ | ✘ | ✘ | Panah | A packet wrangler and tunnel | Suspended |
| Topic | x86-64 | AArch64 | Repo | Description | Status |
|---|---|---|---|---|---|
| Utility/Snippet | ✓ | ✓ | DJB2 Hash | DJB2, a non-cryptographic hash function | Finished |
| Metaprogramming | ✓ | ✓ | SpudMacs | Cross-architecture (x64 an a64) macros for GAS | Finished |
| Utility/Subroutine | ✓ | ✓ | XUtils-1 | PRNG for x86-64 Assembly and Hash for Aarch64 Assembly | Finished |
| Metaprogramming | ✓ | ✘ | PommeMacs | C Preprocessor macros to make cross-programming C and x64 Assembly easier | Finished |
| Metaprogramming | ✓ | ✘ | MangoMacs | Macros and Assembly Wrappers for Linux Syscalls | FInished |
| Math/Calculus | ✓ | ✘ | Newton-Rhapson Intrinsics | Newton-Rhapson method with Intel Intrinsics in C and Assembly | Finished |
| Topic | Repo | Description | Status |
|---|---|---|---|
| Programming Languages | Diyrbal | An interpreted language, for writing compilers, and doin' math | Daily Progress |
| Deamons | LyKron | An implementation of crond |
Nearly Done |
| VMs | LyVM | A very small VM | Finished |
| DSLs | ZephyrASDL | An implementation of ZephyrASDL language, in C, targeting C | Finished |
| Terminal/CLI | Mukette | A Markdown pager in C | Finished |
| Lex/Parse | SexpParse | An S-Expression Parser in C | Finished |
| LanguageDev | YaccBoilerplate | A Boilerplate for Yacc grammars | Finished |
| Bioinformatics/LP | DynoGram | Nucleotide to Peptide translation using Lex/Yacc | Finished |
| Memory | GCX | A header-only garbage collector, reference counting | Finished |
| CompilerDev | Batmite | A half-finished compiler project | Abandoned |
| LanguageDev | Ekipp | A macro preprocessor language | Finished |
| LanguageDev | Squawk | A feature-rich AWK interpreter | WIP |
| Grammars | ShibaJS1.h | A quick 'n dirty JSON parser | Finished |
| Systems/Network | Slitherbrain | Pythcode code runner in C++ | Suspended |
| Graphics Programming | Bedlam Noise Apparatus | Noise-generating After Effects plugin | Finished |
| Bioinformatics | pylibfastcompare | Lazy-hamming multi-threaded DNA sequence deduper | Terminated |
| Bioinformatics | pylibfastadedupe | Same as above, C++ version with updated perforomance | Terminated |
| Network | HDTP | WIP, Hyper Data Transfer Protocol spec and implementation | Indefinite Development |
| Network | Kaibash | Very WIP proxy | Rough Draft |
| Math | CUDA Gaussian Elimination | Gaussian elimination in CUDA | Finished |
| System/Linux | xvDSO | Manually loading the vDSO by looking up auxillary vectors and parsing the ELF | Finished |
| Systems/Tracing | Profiterole | An overhead-free profiler in C with native interface for Python | Mostly Done |
| System/Shell | Broshelli | A shell for the browser (mostly experimental) | Experimental |
| Memory | sGrant | Static memory region grants based on A. Tannenbaum's paper | Finished |
| System/Memory | Stackls | List process stack frame in Win32 API and Linux | Finished |
| UNIX/POSIX | Squash | A POSIX-ly shell | Terminated |
| LKMs/Embedded | ClemoreVirtualDevice | Virtual keyboard driver for my keyremapper, Clemore | Finished |
| Interpreters | Ruse | An implementation of Scheme, half-done, I wish to start over | To Startover |
| Topic | Repo | Description | Status |
|---|---|---|---|
| Terminal/CLI | Nevermore | A minimal terminal pager | Finished |
| Electronics | Scheesim | Electronics circuit simulator similar to SPICE | Indefinite Development |
| Network | Samovar | HTTP 1.1 framework, WIP | Revision Considered |
| Network | rusty-csv-protcol | Application-level protcol | Finished |
| Cryptography | hmac-tree | Merkle trees with HMAC | Finished |
| Network | rusty-you-dee-pee | UDP implementation, WIP | Indefinite Development |
| Bioinformatics | pn2codon | Revese-Translate Protein to DNA | Finished |
| Graphics Programming | Rusty Random Pattern Generator | Pattern generator | Finished |
| Graphics Programming | NaqshSmit Renderer | Software rendered, concept | Terminated |
| Automation | rusty-bot-swarm | Prototype for Twitter bot pre-Musk | Terminated |
| Graphics Programming | Expelligraphicus | Another concept for a rasterizer | Finished |
| Automation | Upsc3ne | An early Rust code, an obscenity detector | Terminated |
| Math | auster-integer | Big math WIP | Indefinite Development |
| Bioinformatics | PhyMMR Tools | FFI tools for PhyMMR, some by me | Stale |
| Classical Vision | SummerSavory | Shape irregularity index score, WIP | Stale |
| Type | Repo | Description | Status |
|---|---|---|---|
| Combinatory Logic | GourmetParsec | A parser combinator in OCaml | Finished |
| Formalism | Pascal-Syntax | Pascal syntax formalization in OCaml | Non-Exec |
| LISP | the Guillmet Scheme | A subset of Scheme | Super-adctive Development! |
| Biology | Punnette.ml | Computing the Punnette square | One-off |
| Topic | Repo | Description | Status |
|---|---|---|---|
| AI Vision | PuertoRECO | Face recognition framework | Finished |
| Automation | potpourri | Web scraping framework | Finished |
| AI NLP | WillSh3B33 | AI model deployed with a frontend | Finished |
| AI Classical | Arriv-O-Pred | Train time arrival prediction | Finished |
| Automation | PerioDetect | Period (I mean dot!) detection script | Finished |
| AI Auditory | SongOfSprockets | Voice conversion tool | Finished |
| AI NLP | ClickBait Generator | Very simple clickbait AI model Colab notebook | Finished |
| Vision Classical | intresignia | Red traffic sign detection | Finished |
| Math | pyramid-anomaly-detection | Anomaly detection tool for Python, vetorized | Finished |
| Network | Stinky | Simple Python API with custom HTTP backend | Finished |
| Math | BitwiseWord | Bitwise operations on word-sized binary lists | Finished |
| Linux Utility | Delphia Scripts | Sripts for my brother | Active Development |
| Byte Utils | LazySplit | Lazy string/bytearray splitting in Python | Finished |
| Bioinformatics | CodonEncode | Assembly-friendly Cododn encoding | Finished |
| Bioinformatics | ProteinToCodonTranslator | Frontend for pn2codon | Finished |
| Zinteger | Zinteger | Dynamically-generated typed integers | Finished |
| Internet Protocol | DNSRezulf | A DNS Resolver in Python | Finished |
| Topic | Repo | Description | Status |
|---|---|---|---|
| Network | mathcord | Discord bot with everything written from scratch | Finished |
| Automation | CroonJoobGoo | SQL cron job | Finished |
| Network | ProtoGen | Application-layer protocols in Go | Expansion Considered |
| Topic | Repo | Description | Status |
|---|---|---|---|
| Lexical/Syntactic Recognition | AurocksLL | An LL(1) parser and lexer generator in Perl | Definite Development |
| Domain-Specific Language | AllocPP | A Perl script that preprocesses C and prepares for static heap allocation (Note: AllocPPx superceeds it) | Finished |
| Domain-Specific Language | ErrorPP | A Perl script that preprocesses C and generates warning/error functions | Finished |
| Domain-Specific Language | AllocPPx | A preprocessor for C written in Perl, that adds garbage collection heaps with reference counting and mark and sweep | Finished |
| Domain-Specific Language | Preprocess.pl | Preprocess files | Finished |
| Documentation Languages | PostScript-ManPages | Manpages for Postscript --- Please also see PostScript Dossier | Finished |
| Topic | Repo | Description | Status |
|---|---|---|---|
| Domain-Specific Language | Witty | A .git/index file parser | Finished |
| Lex/Parse | J2Sexp | Convert JSON files to S-Expressions | Finished |
| Topic | Repo | Description | Status |
|---|---|---|---|
| Tokenizers | EBNF Tokenizer | A tokenizer for EBNF meta-language | Finished |
| Domain-Specigic Language | FewlPP | A Racket script that preprocesses C and generates Fork-Exec-Wait loops | Finished |
| Hygenic Macros | Schemeroni | Useful Scheme macros | Always Active |
| Topic | Repo | Description | Status |
|---|---|---|---|
| Lexing & Parsing | Ramkal | A recursive-descent, hand-rolled parser for the ISO variant of the Pascal language | Experimental |
| Systems | Zwyn | A Version Control System in D | Terminated |
| Language | Topic | Repo | Description | Status |
|---|---|---|---|---|
| Mobile ECMA-262 ('VanillaJS') | Browser Addon | FourChidori | A browser add-on for 4chan | Finished |
| Resident ECMA-262 ('NodeJS') | Databases | Mongoose Jumblator | A plugin for Mongoose for encrpyting MongoDB | Finished |
| AdobeExtendScript | Extensions | cep-panel and its backend | Concept projects for an Adobe | Stillborn |
| Topic | Repo | Description | Status |
|---|---|---|---|
| Configuration Management | SimpleCNF | INI-like configuration management in LaTeX | Finished |
| Special Typesetting | SimpleTRS | A small LaTeX package for typesetting Term-rewriting systems | Finished |
| Language | Topic | Repo | Description | Status |
|---|---|---|---|---|
| AWK | Bioinformatics | TripCount | Nucleotide triplet counter in AWK | Finished |
| Bash | System Script | DynoFiler | Script for wrapaping line_profiler around PhyMMR | Finished |
| Nim | ClassicalLearning | Pong Q-Learning | A test project in Nim | Finished |
| VimScript | Utility | EBNFVim | VimScript specifications for EBNF | Finished |
| Lua | Combinatory Logic | Combinatory Logic Zoo | A small zoo of combinatory logic | Finished |
- luaROFF --- a preprocessor for GROFF that embeds Lua
- CppheckData-Shims --- A shims library providing additional features to Cppcheck Addon API, plug liblint, a collection of over 40 addons for Cppcheck built with the library
- Homepage -> https://let-over-lambda.com
- Discord -> .chubak
- Telegram -> @bidpaafx
- Email -> [email protected] | [email protected]
Thanks, and please take care.