Skip to content

Latest commit

 

History

History
186 lines (148 loc) · 16.9 KB

README.md

File metadata and controls

186 lines (148 loc) · 16.9 KB
Raw

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.

My Favorite Papers (Work in Progress, long list!):

  • 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

Notable Work, Categorized by Language

Multiple

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

Assembly

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

C

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

Rust

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

OCaml

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!

Python

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

Go

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

Perl

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

Ruby

Topic Repo Description Status
Domain-Specific Language Witty A .git/index file parser Finished
Lex/Parse J2Sexp Convert JSON files to S-Expressions Finished

Scheme

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

D

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

ECMA-262 and Variants

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

TeX/LaTeX

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

Other Languages

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

How to Contact Me

Thanks, and please take care.