| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2024-05-17 | Fixed tests | Marvin Borner | |
| 2024-05-17 | Minor additions :) | Marvin Borner | |
| 2024-05-09 | Another rosetta sync | Marvin Borner | |
| 2024-05-02 | More math | Marvin Borner | |
| MAATHTHAHHAHA | |||
| 2024-04-25 | Rosetta sync | Marvin Borner | |
| 2024-04-09 | Added test for AOC samples | Marvin Borner | |
| (although 2018 is actually broken) | |||
| 2024-03-30 | Adds tests for samples | Marvin Borner | |
| 2024-03-25 | Renamed number comparison functions | Marvin Borner | |
| 2024-03-25 | No, you were just stupid | Marvin Borner | |
| 2024-03-25 | Improved samples by adding links to problems | Marvin Borner | |
| 2024-03-25 | More samples and definitions | Marvin Borner | |
| 2024-03-23 | Some Project Euler solutions | Marvin Borner | |
| 2024-03-22 | More AOC | Marvin Borner | |
| 2024-03-21 | Fixed AOC samples | Marvin Borner | |
| 2024-03-21 | Added lcm | Marvin Borner | |
| 2024-03-14 | More samples | Marvin Borner | |
| 2024-03-13 | Better string comparison using prefixed spaceship operator | Marvin Borner | |
| Co-authored-by: JoJoBarthold2 <valentin.j.schmidt@web.de> | |||
| 2024-03-10 | Added sample page to website | Marvin Borner | |
| 2024-03-10 | Samples and std additions | Marvin Borner | |
| 2024-03-03 | Even more samples | Marvin Borner | |
| wtf | |||
| 2024-03-02 | Bottles of beer | Marvin Borner | |
| 2024-03-02 | Docs & samples | Marvin Borner | |
| 2024-02-29 | Synced samples | Marvin Borner | |
| 2024-02-26 | Fixed universal machine | Marvin Borner | |
| 2024-02-23 | More Rosetta | Marvin Borner | |
| 2024-02-21 | Additions for Rosetta Code | Marvin Borner | |
| 2024-02-16 | Added strong Rosenberg encoding for meta encoding | Marvin 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-01-18 | More efficient str→blc | Marvin Borner | |
| 2023-11-06 | Minor general additions | Marvin Borner | |
| 2023-10-19 | Added example mutual recurrence relations for y* | Marvin Borner | |
| 2023-10-15 | Universal machine interpreter | Marvin 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-06 | Fun with monads | Marvin Borner | |
| 2023-06-03 | Added collatz conjecture | Marvin Borner | |
| 2023-04-08 | Added huge sequence generator | Marvin Borner | |
| 2023-03-12 | Fun | Marvin Borner | |
| 2023-03-07 | Fixed unsafe randomness and optimization | Marvin Borner | |
| Enabling optimization greatly improved reduction times (obviously). Will investigate further optimizations in the future. | |||
| 2023-03-07 | Added a few advent of code solutions | Marvin Borner | |
| 2023-03-05 | More samples | Marvin Borner | |
| 2023-03-05 | Way faster recursive show | Marvin Borner | |
| 2023-03-05 | Made stdin and argument conversion lazy | Marvin Borner | |
| 2023-03-05 | Monadic list/io interface | Marvin Borner | |
| 2023-03-03 | Added second part of aoc and needed functions | Marvin 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-03 | Faster string breaking | Marvin Borner | |
| 2023-02-26 | Added IO samples | Marvin Borner | |
| 2023-02-24 | Added code samples | Marvin Borner | |