codereport / Advent-of-Code-2021Links
Solutions to Advent of Code 2021 in APL
☆11Updated 2 years ago
Alternatives and similar repositories for Advent-of-Code-2021
Users that are interested in Advent-of-Code-2021 are comparing it to the libraries listed below
Sorting:
- J Language Source Code. Livestream links ⬇️☆38Updated 2 years ago
- Advent of Code 2018 solutions in Dyalog APL☆22Updated 4 years ago
- Advent of Code 2022 solutions in Dyalog APL☆23Updated 2 years ago
- The future of programming.☆69Updated 4 years ago
- High-level interface for low-level programming☆116Updated 3 weeks ago
- My Advent of Code solutions☆22Updated 5 months ago
- A solver for halting problem of Brainfuck programs☆17Updated 5 years ago
- Visual environment for manipulation the lambda calculus expressions☆25Updated last year
- A derivative approach to finding your way in BQN☆39Updated 2 months ago
- Apple array system☆66Updated last week
- A novel approach to finding your way in APL☆141Updated 2 weeks ago
- Thin covers for Dyalog APL's ⎕R and ⎕S☆10Updated 4 years ago
- Repository for material related to the Programming Languages Virtual Meetup coverage of From Mathematics to Generic Programming☆24Updated 2 months ago
- Code presented in the APL Quest☆12Updated last year
- ☆20Updated 4 years ago
- BQN programming language vscode plugin (symbol input, syntax highlighting)☆22Updated 8 months ago
- Like APL, but with emojis☆15Updated 3 years ago
- Animations of lambda term reduction sequences☆135Updated 7 years ago
- A realistic future development for the core language of Dyalog APL☆11Updated 3 weeks ago
- A sudoku game where you have to prove that your deductions are valid☆113Updated 2 years ago
- Reference compiler for c0☆36Updated 2 weeks ago
- ☆15Updated last year
- metamath proof enumerators and other things☆93Updated 10 months ago
- Advent of Code 2020 solutions in Dyalog APL☆23Updated 4 years ago
- Informal collection of BQN utilities☆57Updated 2 weeks ago
- SKI combinators☆55Updated 8 years ago
- Solving LeetCode problems in Dyalog APL☆12Updated 2 years ago
- Andrej Bauer's blog "Mathematics and Computation"☆51Updated last year
- joke page until I decide what to do with this domain name☆38Updated 2 months ago
- The formal proof of the Odd Order Theorem☆30Updated 2 weeks ago