Alternatives and similar repositories for Game-Theory

Users that are interested in Game-Theory are comparing it to the libraries listed below

• KULeuven-CS / CPL
  Comparative Programming Languages (B-KUL-H0S01A)
  ☆17Updated 10 years ago
• the-lambda-church / coquille
  Interactive theorem proving with Coq in vim.
  ☆185Updated 5 years ago
• joom / latex-unicoder.vim
  A plugin to type Unicode chars in Vim, using their LaTeX names.
  ☆90Updated last year
• LaTeX-Box-Team / LaTeX-Box
  Lightweight Toolbox for LaTeX - New Official repository
  ☆395Updated 6 years ago
• blaenk / blaenk.github.io
  the source for my personal site, written in Haskell, powered by Hakyll
  ☆48Updated 4 years ago
• artemmavrin / latex-homework
  LaTeX class and template for typesetting math homework
  ☆96Updated 4 years ago
• nunoplopes / alive
  Alive: Automatic LLVM's Instcombine Verifier
  ☆223Updated 2 years ago
• jarrett / cpphs
  Tutorial on integrating C++ and Haskell
  ☆90Updated 5 years ago
• eagletmt / neco-ghc
  A completion plugin for Haskell, using ghc-mod
  ☆356Updated 4 years ago
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆229Updated 10 months ago
• eagletmt / ghcmod-vim
  Happy Haskell programming on Vim, powered by ghc-mod
  ☆430Updated 7 years ago
• maciej-bendkowski / boltzmann-brain
  Analytic sampler compiler for combinatorial systems
  ☆30Updated 3 years ago
• dmwit / pulp
  pulp: process your LaTeX log file with pulp and make a better paper
  ☆46Updated 8 years ago
• jamesdabbs / pi-base.hs
  A Haskell-powered modernization of Counterexamples in Topology
  ☆39Updated 9 years ago
• srcreigh / aluffi
  Solutions to Paolo Aluffi's "Algebra: Chapter 0".
  ☆57Updated 8 years ago
• byorgey / haskell-course
  Introductory Haskell course materials (originally CIS 194 @ UPenn)
  ☆283Updated 3 years ago
• ekmett / ad
  Automatic Differentiation
  ☆389Updated 9 months ago
• LMFDB / lmfdb
  L-Functions and Modular Forms Database
  ☆278Updated last week
• bgschiller / latex-therefore
  Tired of needing to come up with synonyms for 'Therefore,' in your mathematical writing? Ponder no longer! This LaTeX package provides a …
  ☆201Updated 8 years ago
• JuliaLLVM / LLVM.jl
  Julia wrapper for the LLVM C API
  ☆142Updated last week
• chris-taylor / aima-haskell
  Algorithms from AIMA in Haskell
  ☆336Updated 8 years ago
• tbreloff / Unums.jl
  Unum (Universal Number) types and operations
  ☆39Updated 9 years ago
• neovimhaskell / haskell-vim
  Custom Haskell Vimscripts
  ☆685Updated 3 years ago
• alexandersgreen / qio-haskell
  The Quantum IO Monad, implemented in Haskell
  ☆105Updated last year
• mikeizbicki / HerbiePlugin
  GHC plugin that improves Haskell code's numerical stability
  ☆194Updated 10 years ago
• williamstein / ent
  Elementary Number Theory: Primes, Congruences, and Secrets
  ☆113Updated 2 years ago
• JeffBezanson / phdthesis
  phd thesis document source
  ☆168Updated 9 years ago
• adamyedidia / parsimony
  ☆345Updated 7 years ago
• UniMath / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆245Updated 11 years ago
• malyzajko / daisy
  ☆50Updated 5 months ago