Alternatives and similar repositories for uni

Users that are interested in uni are comparing it to the libraries listed below

• Inaxo / MathLib
  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
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆69Updated 10 months ago
• nclarius / pyPL
  Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
  ☆20Updated 5 months ago
• idaholab / EMRALD
  Event Modeling Risk Assessment using Linked Diagrams (EMRALD) is a software tool developed at INL for researching the capabilities of dyn…
  ☆28Updated last week
• MarioTalevski / game-of-life
  C++ implementation of Conway's Game of Life.
  ☆73Updated 5 years ago
• Andreshk / AdvancedDataStructures
  A collection of exotic & advanced data structures in C++ and Haskell.
  ☆22Updated 2 years ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆41Updated 7 months ago
• TeXUsersGroup / tugboat
  git-svn mirror of the TUGboat repository
  ☆13Updated 2 weeks ago
• PCCMathSAC / orcca
  Open Source Precollege Algebra Textbook
  ☆22Updated 6 months ago
• ltworf / relational
  Educational tool for relational algebra
  ☆92Updated last year
• jakobmoosbauer / flips
  ☆18Updated 2 months ago
• Megha-Bose / Automata-Theory-Conversions
  Conversions covered: regex to NFA, NFA to DFA, DFA to regex. Minimizing DFA.
  ☆30Updated 4 years ago
• jirilebl / diffyqs
  Notes on Diffy Qs, a textbook for differential equations
  ☆78Updated last week
• IUCompilerCourse / python-student-support-code
  Support for for students (Python)
  ☆70Updated 3 months ago
• sympy / sympy-notebooks
  Some Jupyter notebook examples for SymPy
  ☆21Updated last year
• zhiayang / lambda
  lambda calculus interpreter
  ☆46Updated 4 years ago
• mitchkeller / applied-combinatorics
  Applied Combinatorics by Mitchel T. Keller and William T. Trotter
  ☆32Updated this week
• aengelke / raspsim
  Cycle-accurate X86-64 simulator based on PTLsim
  ☆30Updated 2 years ago
• marijnheule / matrix-challenges
  Challenging SAT benchmarks for matrix multiplication
  ☆11Updated 4 years ago
• dubrousky / mockmma
  ☆30Updated 8 years ago
• nomemory / neat-matrix-library
  nml is a "simple" matrix/numerical analysis library written in pure C. The scope of the library is to highlight various algorithm impleme…
  ☆101Updated last year
• b3h3moth / UnixCentric
  Everything is focused on Unix systems. From C Language Programming to Unix Systems Programming and Kernel Hacking
  ☆31Updated 7 years ago
• pynac / pynac
  Pynac -- symbolic computation with Python objects, Sage Math support library --- Website:
  ☆27Updated 4 years ago
• rbeezer / fcla
  "A First Course in Linear Algebra" open source textbook
  ☆70Updated 3 months ago
• Apress / cpp20-for-lazy-programmers
  Source Code for 'C++20 for Lazy Programmers' by Will Briggs
  ☆51Updated last year
• sandialabs / Prove-It
  A tool for proving and organizing general theorems using Python.
  ☆31Updated last week
• friendlyanon / cmake-init-gif-engine
  GIF parser & decoder in C
  ☆15Updated 3 years ago
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 5 years ago
• allofphysicsgraph / proofofconcept
  Physics Derivation Graph: mathematical connections among equations
  ☆22Updated last week
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆41Updated 8 months ago