KULeuven-CS / Game-TheoryLinks
Gedistribueerde Software Architecturen - Verdiepende Studie (B-KUL-G0K31A)
☆13Updated 10 years ago
Alternatives and similar repositories for Game-Theory
Users that are interested in Game-Theory are comparing it to the libraries listed below
Sorting:
- Comparative Programming Languages (B-KUL-H0S01A)☆17Updated 10 years ago
- Lightweight Toolbox for LaTeX - New Official repository☆395Updated 6 years ago
- phd thesis document source☆168Updated 9 years ago
- LaTeX class and template for typesetting math homework☆96Updated 4 years ago
- Unum (Universal Number) types and operations☆39Updated 9 years ago
- ☆127Updated 2 years ago
- Elementary Number Theory: Primes, Congruences, and Secrets☆113Updated 2 years ago
- Alive: Automatic LLVM's Instcombine Verifier☆223Updated 2 years ago
- Plotting for Julia with OpenGL☆74Updated 7 years ago
- Interactive theorem proving with Coq in vim.☆185Updated 5 years ago
- Lens.jl is a simple Julia library to inspect the runtime behaviour of your programs, with minimal interference to the program itself.☆23Updated 3 years ago
- A plugin to type Unicode chars in Vim, using their LaTeX names.☆90Updated last year
- Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit☆84Updated 2 months ago
- My personal fork of the Nemo project. The official repository is at https://github.com/Nemocas/Nemo.jl☆97Updated 3 years ago
- Schrödinger's Smoke☆48Updated 5 years ago
- Sigma is a probabilistic programming environment implemented in Julia☆68Updated 6 years ago
- Lattice-based integer linear programming solver☆66Updated 4 months ago
- ☆122Updated 3 years ago
- Easy Unicode input for Atom☆40Updated 7 years ago
- DataGenerators is a data generation package. It can use techniques for search and optimization to find effective data for uses such as te…☆12Updated 8 years ago
- Vim support for Julia.☆759Updated 3 weeks ago
- Julia wrapper for the LLVM C API☆142Updated 2 weeks ago
- Exact representation and calculation with roots (e.g. square roots) and their addition/multiplication☆29Updated last week
- Algebraic simplification in Julia☆84Updated 6 years ago
- Efficient unit-checked computation☆71Updated 8 years ago
- The Julia debugger☆174Updated 2 years ago
- Formalizations of Gödel's Ontological Proof of God's Existence☆459Updated 6 years ago
- Synthèses et travaux pour l'EPL☆101Updated 7 months ago
- Automatic Differentiation☆389Updated 9 months ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆50Updated 4 years ago