gambitproject / gteLinks
Game Theory Explorer: Build, explore and solve extensive form games.
☆97Updated 6 years ago
Alternatives and similar repositories for gte
Users that are interested in gte are comparing it to the libraries listed below
Sorting:
- Gambit: The package for computation in game theory☆488Updated this week
- A flexible Mathematica package for conducting experiments involving spatial game theory☆53Updated 6 years ago
- Game Theory and Python, a workshop investigating repeated games using the prisoner's dilemma☆194Updated 5 months ago
- The Design and Implementation of Probabilistic Programming Languages☆180Updated last year
- A game theory framework with examples and algorithms☆73Updated 6 years ago
- Probabilistic logic language for inference, planning and learning in static and dynamic domains☆15Updated 8 years ago
- Modeling agents with probabilistic programs☆67Updated 6 years ago
- probabilistic programming for PL folks☆159Updated 4 years ago
- Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica☆74Updated 4 years ago
- Equilibrium Verification Environment (EVE) is a formal verification tool for the automated analysis of temporal equilibrium properties of…☆21Updated last year
- A Learning Environment for Theorem Proving☆76Updated 3 years ago
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆32Updated last month
- Game Theory Cheat Sheet☆377Updated 2 years ago
- A benchmark library for constraints☆98Updated 2 months ago
- A Julia Package for providing Multi Armed Bandit Experiments☆21Updated 7 years ago
- A python library for 2 player games.☆362Updated last month
- ☆44Updated 3 years ago
- AIXIjs - General Reinforcement Learning in the Browser☆148Updated 5 years ago
- AA120Q Course Materials☆29Updated 11 months ago
- Finding Game Theory equilibrium with machine learning agents : prisoner's dilemma☆20Updated 9 years ago
- MathWebSearch Implementation☆48Updated 3 years ago
- Probabilistic programming system for fast and exact symbolic inference☆84Updated last year
- Structure learning for sparse graphs with latent variables☆45Updated 9 years ago
- Symbolic Reinforcement Learning using Inductive Logic Programming☆62Updated 2 years ago
- A gym environment for Stuart Armstrong's model of a treacherous turn.☆18Updated 7 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆69Updated last year
- Exact Inference Engine for Probabilistic Programs☆135Updated 9 months ago
- An agent library for systems of nested automata.☆43Updated 8 years ago
- A blog post exploring a connection between neural networks and topology☆102Updated 7 years ago
- Auction Theory Toolbox – Computer Verified Auctions☆14Updated 9 years ago