Skip to content
View Chubek's full-sized avatar

Block or report Chubek

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
chubek/README.md

Hey'all good folks. I work at Poyan Afzar Fanaavar, as a Software Language Tooling Engineer by trade. A mouthful, yes, but to quote Ralph Lammel's 2018 volume on SLE, "A software language is a formal system wherein the syntsax and semantics are only meaningful in software". So, DeBruijn's "Automath" is not a software language. Hoare's "CSP" and other "Process Algebra" languages are not software languages, they are abstract mathematical models. Lambda Calculus and its many variants are not a software language, they are a model for software language implmenetation. However, JSON is a software language, so is XML, or YAML. Python and C, are, too. WebAssembly is a SL, but EBNF is not a SL. "Tooling" is the key here. I am an SLE 'tooling' expert. This means, I make meta-programs that take one software language; query, analyze, rewrite, and transform it, and output the same software language, or another software language. My work is mostly concerned with:

  1. Domain-locked and Domain-specific languages;
  2. Extensibility of software through tooling;
  3. Specification of software through semantically active meta-languages;

Below is a list of my work, mostly hand-made, and at the end, my AI slop. I have recently began making AI-generated applications with Agentic AI. As a form of therapy, given the topsy-turvey world of the yesterday's tomorrow. I have written some good stuff, but I still don't own them and I don't take honor in them. This text before you right now begins with a list of real software that I have toiled over, and at the end, I list my AI application.

I have registered warble.ir because IRNIC domains are so damn cheap, and I don't have time to edit this page on a daily basis, so I won't make any topical references about why it's so cheap. I used my own server as the authorative nameserver. I am a staunch supporter for self-hosting, especially when the entire world (that is, the country ran by a strain of Seventh-Day Adventists who survived Waco, and relabled themselves as "Evangelicals", and mess up the world for the second coming of their Lord and Savior, who, I swear, would never 'turn the other cheek' on these degenerates, and will never 'take the speck out of [his] eye before taking the plank out of your friends' --- in fact, he will shove the plank up their wazoo) has sanctioned you. I have decided to make a whole project for self-hosting --- of course, using the slop machine --- a project I call "Syntra" and its a suite of tools for self-hosting. I plan on only mirroring my Git repos here when Syntra is done. Visit Syntra's page on Warble to remain lit and woke of Syntra's development.

Notable Work, Categorized by Language (No AI)

Multiple

TopicAssemblyCRustGoPythonNimJSRepoDescriptionStatus
CryptographyNeitherPoxHashA block hash algorithm with high avalanche effectFinished
BioinformaticsAarch64, x86-64TransGataccaDNA/Protein [Reverse] TranslatorTerminated
Networkx86-64PanahA packet wrangler and tunnelSuspended

Assembly

Topicx86-64AArch64RepoDescriptionStatus
Utility/SnippetDJB2 HashDJB2, a non-cryptographic hash functionFinished
MetaprogrammingSpudMacsCross-architecture (x64 an a64) macros for GASFinished
Utility/SubroutineXUtils-1PRNG for x86-64 Assembly and Hash for Aarch64 AssemblyFinished
MetaprogrammingPommeMacsC Preprocessor macros to make cross-programming C and x64 Assembly easierFinished
MetaprogrammingMangoMacsMacros and Assembly Wrappers for Linux SyscallsFInished
Math/CalculusNewton-Rhapson IntrinsicsNewton-Rhapson method with Intel Intrinsics in C and AssemblyFinished

C

TopicRepoDescriptionStatus
Programming LanguagesDiyrbalAn interpreted language, for writing compilers, and doin' mathDaily Progress
DeamonsLyKronAn implementation of crondNearly Done
VMsLyVMA very small VMFinished
DSLsZephyrASDLAn implementation of ZephyrASDL language, in C, targeting CFinished
Terminal/CLIMuketteA Markdown pager in CFinished
Lex/ParseSexpParseAn S-Expression Parser in CFinished
LanguageDevYaccBoilerplateA Boilerplate for Yacc grammarsFinished
Bioinformatics/LPDynoGramNucleotide to Peptide translation using Lex/YaccFinished
MemoryGCXA header-only garbage collector, reference countingFinished
CompilerDevBatmiteA half-finished compiler projectAbandoned
LanguageDevEkippA macro preprocessor languageFinished
LanguageDevSquawkA feature-rich AWK interpreterWIP
GrammarsShibaJS1.hA quick 'n dirty JSON parserFinished
Systems/NetworkSlitherbrainPythcode code runner in C++Suspended
Graphics ProgrammingBedlam Noise ApparatusNoise-generating After Effects pluginFinished
BioinformaticspylibfastcompareLazy-hamming multi-threaded DNA sequence deduperTerminated
BioinformaticspylibfastadedupeSame as above, C++ version with updated perforomanceTerminated
NetworkHDTPWIP, Hyper Data Transfer Protocol spec and implementationIndefinite Development
NetworkKaibashVery WIP proxyRough Draft
MathCUDA Gaussian EliminationGaussian elimination in CUDAFinished
System/LinuxxvDSOManually loading the vDSO by looking up auxillary vectors and parsing the ELFFinished
Systems/TracingProfiteroleAn overhead-free profiler in C with native interface for PythonMostly Done
System/ShellBroshelliA shell for the browser (mostly experimental)Experimental
MemorysGrantStatic memory region grants based on A. Tannenbaum's paperFinished
System/MemoryStacklsList process stack frame in Win32 API and LinuxFinished
UNIX/POSIXSquashA POSIX-ly shellTerminated
LKMs/EmbeddedClemoreVirtualDeviceVirtual keyboard driver for my keyremapper, ClemoreFinished
InterpretersRuseAn implementation of Scheme, half-done, I wish to start overTo Startover

Rust

TopicRepoDescriptionStatus
Terminal/CLINevermoreA minimal terminal pagerFinished
ElectronicsScheesimElectronics circuit simulator similar to SPICEIndefinite Development
NetworkSamovarHTTP 1.1 framework, WIPRevision Considered
Networkrusty-csv-protcolApplication-level protcolFinished
Cryptographyhmac-treeMerkle trees with HMACFinished
Networkrusty-you-dee-peeUDP implementation, WIPIndefinite Development
Bioinformaticspn2codonRevese-Translate Protein to DNAFinished
Graphics ProgrammingRusty Random Pattern GeneratorPattern generatorFinished
Graphics ProgrammingNaqshSmit RendererSoftware rendered, conceptTerminated
Automationrusty-bot-swarmPrototype for Twitter bot pre-MuskTerminated
Graphics ProgrammingExpelligraphicusAnother concept for a rasterizerFinished
AutomationUpsc3neAn early Rust code, an obscenity detectorTerminated
Mathauster-integerBig math WIPIndefinite Development
BioinformaticsPhyMMR ToolsFFI tools for PhyMMR, some by meStale
Classical VisionSummerSavoryShape irregularity index score, WIPStale

OCaml

TypeRepoDescriptionStatus
Combinatory LogicGourmetParsecA parser combinator in OCamlFinished
FormalismPascal-SyntaxPascal syntax formalization in OCamlNon-Exec
LISPthe Guillmet SchemeA subset of SchemeSuper-adctive Development!
BiologyPunnette.mlComputing the Punnette squareOne-off

Python

TopicRepoDescriptionStatus
AI VisionPuertoRECOFace recognition frameworkFinished
AutomationpotpourriWeb scraping frameworkFinished
AI NLPWillSh3B33AI model deployed with a frontendFinished
AI ClassicalArriv-O-PredTrain time arrival predictionFinished
AutomationPerioDetectPeriod (I mean dot!) detection scriptFinished
AI AuditorySongOfSprocketsVoice conversion toolFinished
AI NLPClickBait GeneratorVery simple clickbait AI model Colab notebookFinished
Vision ClassicalintresigniaRed traffic sign detectionFinished
Mathpyramid-anomaly-detectionAnomaly detection tool for Python, vetorizedFinished
NetworkStinkySimple Python API with custom HTTP backendFinished
MathBitwiseWordBitwise operations on word-sized binary listsFinished
Linux UtilityDelphia ScriptsSripts for my brotherActive Development
Byte UtilsLazySplitLazy string/bytearray splitting in PythonFinished
BioinformaticsCodonEncodeAssembly-friendly Cododn encodingFinished
BioinformaticsProteinToCodonTranslatorFrontend for pn2codonFinished
ZintegerZintegerDynamically-generated typed integersFinished
Internet ProtocolDNSRezulfA DNS Resolver in PythonFinished

Go

TopicRepoDescriptionStatus
NetworkmathcordDiscord bot with everything written from scratchFinished
AutomationCroonJoobGooSQL cron jobFinished
NetworkProtoGenApplication-layer protocols in GoExpansion Considered

Perl

TopicRepoDescriptionStatus
Lexical/Syntactic RecognitionAurocksLLAn LL(1) parser and lexer generator in PerlDefinite Development
Domain-Specific LanguageAllocPPA Perl script that preprocesses C and prepares for static heap allocation (Note: AllocPPx superceeds it)Finished
Domain-Specific LanguageErrorPPA Perl script that preprocesses C and generates warning/error functionsFinished
Domain-Specific LanguageAllocPPxA preprocessor for C written in Perl, that adds garbage collection heaps with reference counting and mark and sweepFinished
Domain-Specific LanguagePreprocess.plPreprocess filesFinished
Documentation LanguagesPostScript-ManPagesManpages for Postscript --- Please also see PostScript DossierFinished

Ruby

TopicRepoDescriptionStatus
Domain-Specific LanguageWittyA .git/index file parserFinished
Lex/ParseJ2SexpConvert JSON files to S-ExpressionsFinished

Scheme

TopicRepoDescriptionStatus
TokenizersEBNF TokenizerA tokenizer for EBNF meta-languageFinished
Domain-Specigic LanguageFewlPPA Racket script that preprocesses C and generates Fork-Exec-Wait loopsFinished
Hygenic MacrosSchemeroniUseful Scheme macrosAlways Active

D

TopicRepoDescriptionStatus
Lexing & ParsingRamkalA recursive-descent, hand-rolled parser for the ISO variant of the Pascal languageExperimental
SystemsZwynA Version Control System in DTerminated

ECMA-262 and Variants

LanguageTopicRepoDescriptionStatus
Mobile ECMA-262 ('VanillaJS')Browser AddonFourChidoriA browser add-on for 4chanFinished
Resident ECMA-262 ('NodeJS')DatabasesMongoose JumblatorA plugin for Mongoose for encrpyting MongoDBFinished
AdobeExtendScriptExtensionscep-panel and its backendConcept projects for an AdobeStillborn

TeX/LaTeX

TopicRepoDescriptionStatus
Configuration ManagementSimpleCNFINI-like configuration management in LaTeXFinished
Special TypesettingSimpleTRSA small LaTeX package for typesetting Term-rewriting systemsFinished

Other Languages

LanguageTopicRepoDescriptionStatus
AWKBioinformaticsTripCountNucleotide triplet counter in AWKFinished
BashSystem ScriptDynoFilerScript for wrapaping line_profiler around PhyMMRFinished
NimClassicalLearningPong Q-LearningA test project in NimFinished
VimScriptUtilityEBNFVimVimScript specifications for EBNFFinished
LuaCombinatory LogicCombinatory Logic ZooA small zoo of combinatory logicFinished

My AI-Generated Application

I still toil and fether over my AI-generated application. I plan them out, I scaffold the directory, I write some of the code, and most importantly, I test them out. Fuzzing and unittesting. I do not say "Be it, and it become". Still, I spend a lot less effort on my AG-generated applications, so it would be dishonest to mix them in with my hand-made software.

One thing I do with my AI-generated applications is, that I try to innovate. The earlier ones on top of the list are your basic warm up, but as we go further, I decide to make more and more innovative applications.

  • luaROFF -:> a preprocessor for GROFF that embeds Lua. Provides lroff library, which gives access to all the GROFF facilities, allowing interospection and intercession of your ROFF pipeline;
  • LibGLR -:> a library that aides with creation of GLR parsers, with disambiguation and rewrite facilities. Provides bindings via SWIG, and several custom wrappers -- e.g. glrpp, the C++ wrapper which implements a native DSL
  • Simdette -:> a header-only C library providing robust target-agnostic vector operations, with a native DSL and operator overloading. You could write SIMD code as if you are writing normal C code;
  • DaffyChat -:> extensible, voice-enabled ephemeral chatrooms, with a language to define remote services, and a language to define frontend WASM-based plugins. Supports shared library plugins as well;
  • WIRBLE -:> a compiler infrastructure with retargetable codegen and rewriting for optimization, Targets are defined via plugins. Provides a VM runtime as well. Great for JIT/AOT;
  • Moonpie -:> an implementation of Lua 5.4, as a C++ header file, with a novel non-compliant API that utilizes C's metaprogramming and native DSL capabilities. Moonpie has a rich toolchain, this project has been arorted, see QaMRpp;
  • SymProv -:> a Static Code Intelligence tool that manifests the symbols in a C program;
  • ZPell -:> an extensible, interoperable, CLI-based, API-based spellcheck software;
  • Equinox -:> an e-graph library in C. It uses equality satuation and confruence closure to find equal terms, and rewrite them;
  • Ekipp-Library -:> a preprocessor construction library. Build your own preprocessors, with a header-only library. Includes g3, a preprocessor application that uses Ekipp;
  • NuPERF -:> A modern, retargetable perfect hashing library. Specs are written in Lua. You can define your own target language;
  • Chomsky3 Library -:> a regular expression library not focused on matching, rather, compilation. Compiles to JIT'd bytecode VM and C. Useful for lexical scanner generators;
  • MetaTk -:> A collection of meta-programming utilities, a powerhouse of SLE! This library was previously named DSLUtils, but it grew out of it;
  • QaMRpp -:> a header-only implementation of Lua for C++, with plugins;
  • Marpelle -:> create ELF/PE/Mach-O Python services with IPC;
  • EquinoxNG -:> a new, improved version of Equinox with the EQVSG language;
  • IPCtk -:> a DSL-based tookit for working with IPC primitives and protocols;
  • SkillTk -:> a simple Python program for generating LLM Agent "Skills" using OpenAI LLM API;
  • Klyspec -:> a header-only C++ library for specification of CLI arguments, with IPC, native subcommands, profiles;
  • Sattyre -:> a software for wrapping other SAT/SMT solvers in;
  • OcarinaLNK -:> an extensible linker with an API. You can define formats (e.g. ELF) and machines in Lua, and you can write plugins. This projec is discontinued;
  • PikoRL -:> a regular realine library with bundling mode. Bundling mode creates an executabele from your files with file appended adn stub for executoion prependend,like makeself;
  • Satie -:> a small, header-only, multi-algorithm SAT library in C++;
  • Jiterati -:> A JIT library, with plugins and Lua macros;
  • EZDox -:> A Doxygen-compliant documentation generator;
  • LibShell -:> A header-only library that implements the POSIX shell, with a CLI derived from it;

How to Contact Me

Thanks, and please take care.

Pinned Loading

  1. PuertoRECOPuertoRECOPublic

    A face recognition API

    Python 2

  2. mongoose-jumblatormongoose-jumblatorPublic

    A field-based Mongoose encryption module.

    TypeScript 11 1

  3. Bedlam-Noise-ApparatusBedlam-Noise-ApparatusPublic

    A noise plugin for After Effects

    C++ 9

  4. mathcordmathcordPublic

    Discord Math Bot using Custom-Made Shunting Yard (WIP), Custom-Made SHA-512, Custom-Made ED25519

    Go 1

  5. upsc3neupsc3nePublic

    An obscenity detection API in Rust using Custom Implementations

    Rust 2

  6. will-sh3-b33will-sh3-b33Public

    Will you ever find love?

    Jupyter Notebook 4