codereport / Advent-of-Code-2021Links
Solutions to Advent of Code 2021 in APL
☆11Updated 3 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:
- All my code golf answers from Stack Exchange and other sites(TopAnswers, Reddit, etc.)☆11Updated last year
- Catalog of visual lambda calculi☆161Updated 4 months ago
- Advent of Code 2018 solutions in Dyalog APL☆22Updated 4 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆177Updated 2 weeks ago
- Advent of Code 2022 solutions in Dyalog APL☆23Updated 2 years ago
- Animations of lambda term reduction sequences☆154Updated 7 years ago
- Visual environment for manipulation the lambda calculus expressions☆29Updated last year
- metamath proof enumerators and other things☆92Updated 3 weeks ago
- Programming with pure lambda calculus☆133Updated this week
- A realistic future development for the core language of Dyalog APL☆11Updated 6 months ago
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.☆137Updated 3 years ago
- An experimental language exploring computation and meaning through term unification, with logic-agnostic types.☆117Updated 3 weeks ago
- This project converts structured Lean code into an interactive browser game.☆77Updated 2 years ago
- Metamath Zero specification language☆362Updated this week
- The Principia Rewrite☆229Updated 2 weeks ago
- A Jupyter kernel for Dyalog APL☆75Updated last month
- Introduction to Dyalog APL: https://xpqz.github.io/learnapl☆147Updated 2 years ago
- A formal logic framework that runs in the browser☆310Updated 11 months ago
- Source of metamath book☆51Updated last year
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆130Updated 3 months ago
- A comparison of array languages & libraries: APL, J, BQN, Uiua, Q, Julia, R, NumPy, Nial, Futhark, Dex, Ivy, SaC & ArrayFire.☆205Updated 10 months ago
- Fork of Python with some terrible custom features hacked in☆15Updated 3 years ago
- An menu/quick reference for Programming Language concepts☆20Updated last year
- 📰😱‼️ A Racket implementation of Tabloid, the clickbait programming language!☆94Updated 4 years ago
- A Python interpreter for APL based off of the LSBASI series.☆16Updated 4 years ago
- A sudoku game where you have to prove that your deductions are valid☆117Updated 3 years ago
- A collaborative environment for formal, interoperable, conceptual modeling☆130Updated this week
- Forge: A Tool and Language for Teaching Formal Methods☆93Updated this week
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆180Updated 4 years ago
- Movable Feast Machine C++ reference implementation and simulator☆95Updated 6 months ago