Rafisto / uniLinks
Study Algorythmic Computer Science
☆38Updated last month
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 3 months ago
- Metamath verifier in Python☆40Updated 5 months ago
- ☆15Updated 2 months ago
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Updated 5 years ago
- ☆19Updated 8 years ago
- A Visual Studio Code extension for visualization of code/model written in a DSL created using textX.☆12Updated 7 years ago
- Tim Button's open textbook on set theory☆40Updated 5 months ago
- Metamath program - source code for the Metamath executable☆89Updated 4 months ago
- My Master's thesis. Reinforcement Learning for LTLf/LDLf goals.☆10Updated 7 years ago
- Event Modeling Risk Assessment using Linked Diagrams (EMRALD) is a software tool developed at INL for researching the capabilities of dyn…☆28Updated this week
- A Small C Compiler☆25Updated 6 years ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆16Updated 7 years ago
- Rigorous computation of the endomorphism ring of a Jacobian☆11Updated 4 months ago
- ☆15Updated this week
- Cycle-accurate X86-64 simulator based on PTLsim☆30Updated 2 years ago
- The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.☆12Updated 4 years ago
- Challenging SAT benchmarks for matrix multiplication☆11Updated 4 years ago
- An interactive development environment for SMT-LIB files and Z3☆24Updated 3 years ago
- Public snapshots of "ACSL by Example"☆119Updated 6 months ago
- Program Round-off Error Certifier via Static Analysis☆50Updated 2 months ago
- The Aldor Programming Language☆36Updated 9 months ago
- A Shape Analyzer Based on Symbolic Memory Graphs☆76Updated last month
- ☆30Updated 7 years ago
- Examples on how to construct compilers using lex, yacc and Pyhon Lex-Yacc☆16Updated 8 years ago
- ☆157Updated last week
- Automated Programming Framework☆15Updated 5 years ago
- A tool for proving and organizing general theorems using Python.☆30Updated this week
- Debugger in the Trepan family for x-python☆17Updated last month
- reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/…☆42Updated this week