aboutsummaryrefslogtreecommitdiffhomepage
AgeCommit message (Collapse)Author
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
2023-02-23Added time instructionMarvin Borner
2023-02-23Added unary/binary encoding suffixesMarvin Borner
2023-02-23Fixed unbound variable errorMarvin Borner
2023-02-23Additions to standard libraryMarvin Borner
Mainly new binary encoding and corresponding functions
2023-02-23Fixed and typed result/option monadsMarvin Borner
2023-02-23Added more typesMarvin Borner
2023-02-22Added types for most combinatorsMarvin Borner
2023-02-21Standard library syncMarvin Borner
2023-02-21Implemented RKNL in HaskellMarvin Borner
2023-02-20Removed typecheckingMarvin Borner
Well, it's unnecessary complexity :D I might add checking again in the future, but you'll need to typecheck in your head for now.
2023-01-04Added broogleMarvin Borner
best name amirite
2022-10-29huhMarvin Borner
2022-10-16Started typingMarvin Borner
not like i've been typing for a long time lol
2022-09-10Switched to abbreviationsMarvin Borner
2022-09-02Improved mst/last performanceMarvin Borner
2022-09-01More work on divisionMarvin Borner
2022-09-01Started division functionsMarvin Borner
2022-08-31Even more unicodesMarvin Borner
2022-08-31More functionsMarvin Borner
2022-08-31UnicodificationMarvin Borner
I like unicode, sorry if you have a different opinion