Rafisto / uniLinks
Study Algorythmic Computer Science
☆38Updated last 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
- Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions☆20Updated 2 months ago
- ☆14Updated last month
- Implementation of All ▲lgorithms in Assembly Programming Language☆43Updated 4 years ago
- A fully functional Othello (Reversi) game, with several AIs, made in prolog for swipl.☆17Updated last year
- Event Modeling Risk Assessment using Linked Diagrams (EMRALD) is a software tool developed at INL for researching the capabilities of dyn…☆28Updated this week
- Some Jupyter notebook examples for SymPy☆21Updated last year
- Metamath verifier in Python☆39Updated 4 months ago
- Source of metamath book☆51Updated last year
- A Python implementation to convert a Deterministic Finite Automata to Regular Expression using state elimination method☆22Updated 7 years ago
- Metamath program - source code for the Metamath executable☆88Updated 3 months ago
- Lambda Calculus things implemented on Python☆89Updated 6 years ago
- Big C++ Book by Cay S. Horstmann, 2nd Edition, Solutions of problems and Exercises☆17Updated 7 years ago
- Tim Button's open textbook on set theory☆39Updated 4 months ago
- JavaScript applets with interactive Rubik's Cube-like puzzles.☆16Updated 10 months ago
- ☆14Updated 3 weeks ago
- Matasano crypto challenges (http://cryptopals.com/) implemented mostly in C☆41Updated 7 years ago
- Andrej Bauer's blog "Mathematics and Computation"☆53Updated last year
- Language-independent, search-based program repair -- just your cup of tea! ☕☆30Updated last year
- Solutions for the Ninety-Nine Lisp problems in Common Lisp.☆20Updated 9 years ago
- Methods for accelerating and proving theorems about 5-state Busy Beaver candidates☆20Updated 4 years ago
- FreeTikZ☆40Updated 7 years ago
- Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/☆29Updated 2 weeks ago
- Formalization of some elementary mathematical theories in Coq☆15Updated 5 years ago
- Paradox model finder and equinox theorem prover for first-order logic.☆21Updated last month
- The collection of useful resources for OS development☆62Updated 8 years ago
- Java implementations of sequences in the OEIS☆65Updated this week
- Source code to my videos.☆82Updated last year
- Conversions covered: regex to NFA, NFA to DFA, DFA to regex. Minimizing DFA.☆30Updated 4 years ago
- The eclib package includes mwrank (for 2-descent on elliptic curves over Q) and modular symbol code used to create the elliptic curve dat…☆28Updated this week