aboutsummaryrefslogtreecommitdiffhomepage
AgeCommit message (Collapse)Author
2024-02-16Added basic stdlib CIMarvin Borner
2024-02-16Added strong Rosenberg encoding for meta encodingMarvin Borner
Originally got the idea from @sgoguen (YC) and was further inspired by @hbr from one of their blog posts[1]. The current encoding has some holes and bad performance, so I might switch to a different one in the future. The wiki and metaprogramming blog post have been updated accordingly. [1] https://hbr.github.io/Lambda-Calculus/computability/text.html
2024-02-16Added meta humanifierMarvin Borner
2024-02-15Added number conversion utility functionsMarvin Borner
2024-01-21Targetted dumping and (un)bblcMarvin Borner
2024-01-19BLoC/BLoCade optimizer integrationMarvin Borner
In many cases, shared-by-abstraction BLC is more performant (and notably smaller) than the current output where every term just gets substituted (and potentially duplicated) directly. BLoC in combination with BLoCade's shared BLC target optimizes this automatically by trying to find the terms that would most benefit from deduplication and abstracting them respectively. Paging @tromp since we talked about this. This commit also introduces better argument parsing using optparse-applicative.
2024-01-18More efficient str→blcMarvin Borner
2023-12-15Minor documentation fixesMarvin Borner
2023-11-30Minor highlighting fixesMarvin Borner
2023-11-16Basic arithmetic is hardMarvin Borner
2023-11-13Bumped max-width percentageMarvin Borner
2023-11-11Added basic syntax highlighting to wikiMarvin Borner
2023-11-11Added wiki to workflowMarvin Borner
2023-11-11Fixed unquote operatorMarvin Borner
2023-11-11Minor wiki fixesMarvin Borner
css and blog
2023-11-06Started unquote and improved quoteMarvin Borner
2023-11-06Minor general additionsMarvin Borner
2023-11-06Improved wiki and reduced readmeMarvin Borner
2023-11-06Started creating new docs with wikiMarvin Borner
2023-11-02Improved kate syntax highlightingMarvin Borner
Should ultimately not rely on hardcoded math symbols
2023-10-31Fixed flipped trits in commentMarvin Borner
2023-10-30Fixed commentsMarvin Borner
2023-10-19Optimized boolean logicMarvin Borner
2023-10-19Added example mutual recurrence relations for y*Marvin Borner
2023-10-16Syntax highlighting fix for quoting and indicesMarvin Borner
2023-10-15Started meta libMarvin Borner
2023-10-15Fixed some minor thingsMarvin Borner
2023-10-15Universal machine interpreterMarvin Borner
This is a fun lambda calculus interpreter, written in bruijn itself. The code is based on @Tromp submission to IOCCC 2012. Performance-wise the unary (fac 9) takes 11.4s simulated vs 1.2s native. -> main problem is memory, simulated (fac 10) causes memory overflow on 32GB.
2023-10-14Generic Church and hyperfacMarvin Borner
2023-10-06Fun with monadsMarvin Borner
2023-09-22Minor improvementsMarvin Borner
Sorry, don't exactly know and don't care. Just some things I apparently didn't commit
2023-09-03Added De Bruijn numeralsMarvin Borner
2023-09-03Added workflow for docsMarvin Borner
2023-08-05Removed redundant `∅?‣`, `^‣` and `~‣`Marvin Borner
Uses a fun technique that reduces readability but improves fun :)
2023-08-02Added currently known busy beaversMarvin Borner
Part of my attempt to find BB(37)
2023-07-30Fixed length evaluation orderMarvin Borner
Without this, the BLC length of the unreduced version of huge expressions will not be shown until reduction is finished. This was obviously wrong.
2023-07-30Added uniform function call syntax support (UFCS)Marvin Borner
Also disallows dots in identifiers. Probably shouldn't be overused but allows things like `(+5).(replicate (+3)).sum` which is pretty fun tbh.
2023-07-30Implemented power tower / knuth functionsMarvin Borner
Again during sick hacking session at cool new hackerspace. Co-Authored-By: AnyUnderstanding <christopher.alan.w@gmail.com>
2023-07-24Implemented logarithm functionsMarvin Borner
Done during sick hacking session at cool new hackerspace. Co-Authored-By: AnyUnderstanding <christopher.alan.w@gmail.com>
2023-07-08Added variadic y combinatorMarvin Borner
2023-07-08Added variadic signaturesMarvin Borner
2023-07-08Added variadic list constructorMarvin Borner
2023-06-26Added eval/apply functionsMarvin Borner
2023-06-17Removed redundant lineMarvin Borner
2023-06-15Updated readme to include BLoC exampleMarvin Borner
2023-06-04Added syntax highlighting for KateMarvin Borner
2023-06-03Added collatz conjectureMarvin Borner
2023-06-02Updated buildersMarvin Borner
2023-06-02Added some missing functionsMarvin Borner
2023-05-31SEOMarvin Borner
2023-04-08Added links to articlesMarvin Borner
Feel free to add your own
2023-04-08Added huge sequence generatorMarvin Borner
2023-04-08Various improvements to standard library docsMarvin Borner
2023-03-12FunMarvin Borner
2023-03-12Added length&blc commandsMarvin Borner
2023-03-11StrictnessMarvin Borner
2023-03-11Applied linting tipsMarvin Borner
2023-03-09Added deepseq for better timing (no overhead)Marvin Borner
2023-03-08Less IOMarvin Borner
2023-03-07Fixed unsafe randomness and optimizationMarvin Borner
Enabling optimization greatly improved reduction times (obviously). Will investigate further optimizations in the future.
2023-03-07Added logo to readmeMarvin Borner
2023-03-07Added language annotationMarvin Borner
2023-03-07Useful additionsMarvin Borner
hehe
2023-03-07Added a few advent of code solutionsMarvin Borner
2023-03-06Started AVL tree implementationMarvin Borner
2023-03-05Switched to prefixed listificationMarvin Borner
2023-03-05More samplesMarvin Borner
2023-03-05Way faster recursive showMarvin Borner
2023-03-05Made stdin and argument conversion lazyMarvin Borner
2023-03-05Monadic list/io interfaceMarvin Borner
2023-03-04More efficient mst functionsMarvin Borner
2023-03-04Added box functionsMarvin Borner
Very helpful for some data structures
2023-03-04More efficient math functionsMarvin Borner
2023-03-04Added odd/even functionsMarvin Borner
2023-03-04Fixed pi algorithmMarvin Borner
2023-03-03Added pair humanificatorMarvin Borner
2023-03-03Added second part of aoc and needed functionsMarvin Borner
Also, I don't know how I got 30s for the first part previously. Cannot reproduce and probably was a mistake. idk
2023-03-03Faster string breakingMarvin Borner
2023-02-28Fixed weird sorting on some linux systemsMarvin Borner
2023-02-28Additions to std/Marvin Borner
2023-02-26Added IO samplesMarvin Borner
2023-02-26More std functionsMarvin Borner
2023-02-26Docs improvementsMarvin Borner
2023-02-26Added more unary functionsMarvin Borner
2023-02-25Added font and fixed responsivenessMarvin Borner
2023-02-25Removed unimplemented optionsMarvin Borner
2023-02-25Added documentation/websiteMarvin Borner
2023-02-25Fixed wrong input syntaxMarvin Borner
2023-02-24Added code samplesMarvin Borner
2023-02-24Added more string/char functionsMarvin Borner
2023-02-24Fixed readme formattingMarvin Borner
2023-02-24More reasonable defaults for REPL/editorsMarvin Borner
2023-02-24Fixed minor errors in broogleMarvin Borner
2023-02-24Moved license/readmeMarvin Borner
2023-02-24Moved number implementationsMarvin Borner
2023-02-24Humanification of listsMarvin Borner
2023-02-24More functions for new representationsMarvin Borner
2023-02-23More humanificationMarvin Borner
2023-02-23Added watch commandMarvin Borner
2023-02-23Added free command (doesn't really work though)Marvin Borner