Good day to y'all. Name's Chubak, and I like functional programming (which in the past was also referred to as applicative programming -- a fact not so obscure to the aficionados of the craft!). Scroll below for goodies --- but bit of an introduction; I study SWE/Compsci at this li'l boutique college near our home. Before I started college, I was already baked --- and baked, with all the knowledge of computing and computational arts. This 'webhole' (a term stolen, by yours truly, right now, as we speak, from c9x.me) contains select portion of my work. Make sure to leave a star on your way out!
If anyone's wondering, and cares, I am currently engaged in construction of the Guillmet Scheme; a subset (or hopefully, one day, superset!) of the Scheme S-Expression LISP-like language (by Steele and Sussman, you know, Scheme!) meant to be translated down to x86-64 Assembly (which you can view some code of mine in below). I will not use a ready-made IL like QBE or LLVM. I will use supercombinators, and other methods of optimizing an FP-like language like Scheme. Did you know Muchnick, or the compiler book fame, did a paper on LISP dataflow?
I like the works of Nils M. Holm. My most admired of compooter-men is M. D. McIlroy --- who came up with dataflow and the concept of coroutines. I also admire the "Bell Labs" gang (which McIlroy belongs to, but also, K. Thompson, B. W. Kernighan, A. V. Aho, J. Ullman, D. M. Ritichie, R. Pike, S. Bourne, Lorinda Cherry, the late J. Ossanna, and...). I also like Steele and Sussman (which is unheard of for an Schemer! Call the poh-lice), I like S. C. Kleene and J. McCarthy, I admire founders of the arts of computing (A. F. Turing, A. Church, H. Curry). I like Andrew Appel and --- although I've never slept on his mattress, I like R. M. Stallman. I like LCF and Dana Scott, because through Dana Scott I learned that it's pronounced KLEEN-ee not KLEEN-ay! I like Kleene too but who does not. There's so many people I like and admire. I will keep this portion of my profile updated with names of these people!
Not to be uncouth, but I offer my services to any professors in any university. In return I want Zyklon-B, lots of it.
I run EndeavorOS on my PC. I used to run Pop_OS!. I primarily interface with my IBM-lineage PC through the Fish shell. I always have a between 4 to 12 Okular windows running. If you know me IRL, and you need books and papers, lemme know.
- The Next 700 Programming Languages - P. J. Landin ::: Seminal 1960s paper on infusing λ-Calculus with Non-symbolic syntax
- Controlflow Analysis - P. Allen ::: Another banger, about analysis of algorithmic syntax control flow based on the concept of Basic Blocks through a Directed Graph
Topic | Assembly | C | Rust | Go | Python | Nim | JS | Repo | Description | Status |
---|---|---|---|---|---|---|---|---|---|---|
Cryptography | Neither | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | PoxHash | A block hash algorithm with high avalanche effect | Finished |
Bioinformatics | Both | ✓ | ✓ | ✘ | ✓ | ✘ | ✘ | TransGatacca | DNA/Protein [Reverse] Translator | Terminated |
Network | x64 | ✓ | ✘ | ✘ | ✘ | ✘ | ✘ | 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 |
---|---|---|---|
VMs | LyVM | A very small VM | Finished |
DSLs | ZephyrASDL | An implementation of ZephyrASDL language, in C, targeting C | Finished |
Lex/Parse | 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++ | Indefinite Development |
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 |
Topic | Repo | Description | Status |
---|---|---|---|
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! |
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 |
---|---|---|---|
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 |
- Homepage -> https://let-over-lambda.com
- Discord -> .chubak
- Telegram -> @bidpaafx
- Email -> [email protected] | [email protected]
Thanks, and please take care.