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
• frozenca / CLRS
  C++ implementation of CLRS 4/e example codes and exercise for studying purpose. Non-coding involved exercises will not be shared.
  ☆28Updated 2 years ago
• nclarius / pyPL
  Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
  ☆20Updated last week
• realabbas / list-of-algorithms
  A comprehensive curated list of algorithms🤠 🏆
  ☆29Updated 5 years ago
• marfvr / master-thesis
  My Master's thesis. Reinforcement Learning for LTLf/LDLf goals.
  ☆10Updated 7 years ago
• textX / viewX-vscode
  A Visual Studio Code extension for visualization of code/model written in a DSL created using textX.
  ☆12Updated 7 years ago
• sympy / sympy-notebooks
  Some Jupyter notebook examples for SymPy
  ☆21Updated last year
• VAlgoLang / VAlgoLang
  Domain Specific Language using Manim to create animations for data structures and algorithms
  ☆50Updated 4 years ago
• jakobmoosbauer / flips
  ☆14Updated last year
• vinyasns / dfa-to-regex
  A Python implementation to convert a Deterministic Finite Automata to Regular Expression using state elimination method
  ☆21Updated 7 years ago
• aengelke / raspsim
  Cycle-accurate X86-64 simulator based on PTLsim
  ☆30Updated 2 years ago
• infinitesnow / linking_tutorial
  A tutorial for low-level C++ linkage, meant for people with 0 C++ knowledge
  ☆22Updated 2 years ago
• MuonRay / QuantumNetworkSimulations
  A series of simulation codes used to emulate quantum-like networks in the simulation of emergent adaptive behavior, such as network sync…
  ☆14Updated 3 months ago
• JoachimFavre / UniversityNotes
  Typed notes I took during university lectures, containing computer science, maths and physics classes from EPFL. Most are in English.
  ☆96Updated last month
• codereport / Content
  Links, slide decks and other material for conference & meetup talks, podcast appearances and publications.
  ☆221Updated 4 months ago
• bstarynk / bismon
  persistent monitor (for static source code analysis, GCC based)
  ☆59Updated last year
• MonitSharma / Computational-Methods-in-Physics
  Computational Methods for Physicist: Projects in Computational Physics
  ☆11Updated 2 years ago
• websemantics / awesome-quantum-computing
  A curated list of Quantum Computing resources, articles, programming languages and projects. The main idea is that everyone can contribut…
  ☆21Updated 2 years ago
• rvarago / kitten
  A small C++17 library inspired by Category Theory.
  ☆15Updated 2 years ago
• sergeybratus / RE-basics-W22
  Basics of Reverse Engineering Winter 2022
  ☆27Updated 3 years ago
• black-sat / black
  BLACK (Bounded Lᴛʟ sAtisfiability ChecKer)
  ☆18Updated this week
• Liblor / advanced_operating_systems_2020
  Advanced Operating System Course at ETHZ
  ☆19Updated 4 years ago
• asgordon / DPLL
  Boolean satisfiability for propositional logic in Python
  ☆14Updated 2 weeks ago
• manjunath5496 / Computational-Physics-Books
  "There is no physical law precluding particles from being organised in ways that perform even more advanced computations than the arrange…
  ☆10Updated 5 years ago
• friendlyanon / cmake-init-gif-engine
  GIF parser & decoder in C
  ☆15Updated 3 years ago
• whitemech / pythomata
  A Python package for automata theory.
  ☆56Updated last year
• illinois-cs241 / broadway
  A distributed systems framework used running distributable workloads.
  ☆19Updated 11 months ago
• marijnheule / matrix-challenges
  Challenging SAT benchmarks for matrix multiplication
  ☆11Updated 3 years ago
• manjunath5496 / Particle-Physics-Books
  "A photon or an electron is not a thing, it is a description of a relationship." ― R. A. Delmonico
  ☆13Updated 4 years ago
• michaeljclark / bignum
  C++ bignum with support for arbitrary precision integer arithmetic.
  ☆29Updated 4 years ago