Rafisto / uniLinks
Notes on Algorythmic Computer Science - Wroclaw University of Science and Technology - Informatyka Algorytmiczna - Politechnika Wrocławska
☆30Updated this week
Alternatives and similar repositories for uni
Users that are interested in uni are comparing it to the libraries listed below
Sorting:
- MathLib is a versatile C++ library that provides a wide range of mathematical algorithms and functions, including but not limited to tran…☆11Updated 2 years ago
- ☆12Updated last year
- "AI research can have irreversible repercussions in the life of the human species, so we must tread cautiously." ― Abhijit Naskar☆9Updated 5 years ago
- ☆40Updated last year
- Implementation of a simple genetic algorithm designed to solve the Traveling Salesman Problem, using ncurses to visualize the graph.☆10Updated 7 years ago
- Python implementations of some algorithms from the CLRS textbook☆11Updated 5 years ago
- A math research book☆8Updated 4 months ago
- Solutions for the Ninety-Nine Lisp problems in Common Lisp.☆19Updated 8 years ago
- A video about the A* algorithm viewed as an application of the potential reweighting technique☆32Updated 9 months ago
- example repo showing the debugging capabilities offered by Cosmopolitan Libc☆13Updated 2 years ago
- Notes on determinants and other concrete algebra (PRIMES 2015 reading project: problems and solutions)☆16Updated 2 years ago
- ☆16Updated 3 years ago
- Challenging SAT benchmarks for matrix multiplication☆11Updated 3 years ago
- An organized and curated list of resources for learning various programming languages and concepts.☆14Updated 3 years ago
- LLVM compile-time performance data over time (repo 0).☆19Updated last year
- "AI research can have irreversible repercussions in the life of the human species, so we must tread cautiously." ― Abhijit Naskar, Missio…☆9Updated 5 years ago
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17Updated 3 years ago
- "Geometry has two great treasures; one is the Theorem of Pythagoras; the other, the division of a line into extreme and mean ratio. The f…☆14Updated 5 years ago
- Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions☆20Updated 6 months ago
- "Algorithms are not arbiters of objective truth and fairness simply because they're math." ― Zoe Quinn☆8Updated 5 years ago
- A simple Brainfuck JIT written as a learning exercise.☆16Updated 5 years ago
- Formalisation of the Kelley-Meka bound on Roth numbers☆17Updated 2 weeks ago
- Notes from Math 550 at McGill University, from Winter 2016, taught by Prof. Sergey Norin.☆14Updated 6 years ago
- Language-independent, search-based program repair -- just your cup of tea! ☕☆29Updated 10 months ago
- An interface to SAT solver tools (like minisat)☆60Updated 2 years ago
- Proof assistant for qRHL☆21Updated last month
- "Histories make men wise; poets, witty; the mathematics, subtle; natural philosophy, deep; moral, grave; logic and rhetoric, able to cont…☆16Updated 5 years ago
- A library to learn Algorithms and Data Structures for newbies☆15Updated 8 years ago
- (ALPHA) TinyRange: Next-generation Virtualisation for Cyber and beyond☆26Updated this week
- A flexible parser generator producing output from object-oriented hierarchical context-free grammar specifications.☆12Updated 3 years ago