aboutsummaryrefslogtreecommitdiffhomepage
AgeCommit message (Collapse)Author
2024-03-02Several additions to stdMarvin Borner
Some weren't committed for a year!
2024-03-02Started non-outsourced optimizerMarvin Borner
2024-02-29Synced samplesMarvin Borner
2024-02-29great changesMarvin Borner
you gotta believe me, they're great. they're the best
2024-02-29Fixed std pathsMarvin Borner
2024-02-29Added HigherOrder to test CIMarvin Borner
2024-02-29Added benchmarksMarvin Borner
2024-02-29Removed stacks test dirMarvin Borner
2024-02-29Encourage use of combinatorsMarvin Borner
2024-02-29Bump GHCMarvin Borner
2024-02-29Added higher order reducerMarvin Borner
2024-02-26Fixed universal machineMarvin Borner
2024-02-26Added metacircular self-interpreter to wikiMarvin Borner
More details in the linked blog post.
2024-02-25Added ION testsMarvin Borner
Will fail though
2024-02-25Fixed warningsMarvin Borner
2024-02-24Added verbose modeMarvin Borner
Mainly for CI right now, might extend in the future.
2024-02-24Minor ION cleanupMarvin Borner
2024-02-24Initial import of the ION reducerMarvin Borner
The full commit history can be found on AIT/nf.hs since this is mainly a translation of Tromp's nf.c
2024-02-24Added reducer selection flagMarvin Borner
2024-02-23More RosettaMarvin Borner
2024-02-22Hyperfine measurementMarvin Borner
2024-02-21Additions for Rosetta CodeMarvin Borner
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