surgi1 / adventofcodeLinks
ES6 solutions to Advent of Code puzzles.
☆17Updated 8 months ago
Alternatives and similar repositories for adventofcode
Users that are interested in adventofcode are comparing it to the libraries listed below
Sorting:
- C Compiler written in Kotlin☆13Updated last year
- doing the same thing over and over and expecting the same results☆41Updated 4 years ago
- Vorlesung Softwareprojekt TU Bergakademie Freiberg☆22Updated 8 months ago
- Advent of Code solutions☆41Updated last year
- Online BDD Simulation Tool☆20Updated last month
- Javascript implementation of Fractran☆14Updated 7 years ago
- My solutions for all years of Advent of Code in Python 3 and Rust☆61Updated 8 months ago
- A browser extension to convert TeX to Unicode in browser inputs.☆63Updated last week
- Advent of Code statistics for the first 100 submissions visualized☆88Updated 8 months ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆48Updated last week
- UCalgary version of forallx, an introduction to formal logic☆111Updated 2 months ago
- Lecture "Programmieren 2"☆15Updated last week
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆43Updated last week
- ☆32Updated last month
- Using meet-in-the-middle to solve the Rubik's cube☆80Updated 2 years ago
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.☆136Updated 2 years ago
- Java code from https://www.cut-the-knot.org/ written by Alexander Bogomolny☆27Updated 4 years ago
- This project is the legacy version of Standard ML of New Jersey that continues to support older systems (e.g., 32-bit machines).☆42Updated last week
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)☆55Updated last week
- Solving the 1 Billion Row Challenge in MPL☆17Updated last year
- P.D. Magnus' forallx logic textbook☆67Updated 5 months ago
- A program for drawing knots and links, with support for importing images☆32Updated last year
- http://mroman.ch/burlesque☆14Updated 5 years ago
- A computer algebra system for research in combinatorial game theory☆46Updated last year
- The definitive collection of interpreters, compilers, and programs for the Whitespace programming language.☆39Updated 5 months ago
- repository for material for Jan-Mar 2023 course on formalising mathematics☆48Updated last year
- ☆85Updated 3 years ago
- ☆39Updated 2 years ago
- Stack based virtual machine☆42Updated 10 years ago
- The combinatorial Hydra game☆16Updated 9 years ago