Game Theory Explorer: Build, explore and solve extensive form games.
☆101Mar 6, 2019Updated 7 years ago
Alternatives and similar repositories for gte
Users that are interested in gte are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Tools for calculating some Nash equilibria with thesis document☆13Jul 24, 2014Updated 11 years ago
- A flexible Mathematica package for conducting experiments involving spatial game theory☆53Jul 18, 2019Updated 6 years ago
- A game-theoretic poker player (written in 2005)☆185Nov 5, 2020Updated 5 years ago
- - Create a queueing model at signalized intersections (e.g. shockwave profile model); - Create a simple SUMO network with traffic lights;…☆11Nov 18, 2021Updated 4 years ago
- A fornalisation of Grobner basis in ssreflect☆12Jan 29, 2026Updated 3 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Stata module that calculates the weights underlying two-way fixed effect event studies☆19Aug 29, 2021Updated 4 years ago
- Example Jupyter Notebooks demonstrating use of Pecan Street data on our JupyterHub☆14Jul 7, 2022Updated 3 years ago
- Notes and stuff related to the study group☆15Feb 26, 2017Updated 9 years ago
- Rendering Live2D with HTML/CSS!☆33Jul 31, 2024Updated last year
- Experiments in Synthetic Differential Geometry☆16Jul 1, 2021Updated 4 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Jan 10, 2014Updated 12 years ago
- User-written MATLAB code/solutions for the chapter exercises in Microeconometrics and MATLAB: An Introduction by Adams, Clarke and Quinn …☆15Mar 19, 2018Updated 8 years ago
- ☆25Apr 23, 2021Updated 5 years ago
- PLEASE DO NOT USE THIS REPOSITORY - IT IS OUTDATED AND NOT VERY GOOD☆23Jun 17, 2015Updated 10 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Faithful Python implementation of the paper "Towards Deep Symbolic Reinforcement Learning" by Garnelo et al.☆13Mar 23, 2021Updated 5 years ago
- A fork of floodyberry's ed25519-donna modified to support the Ristretto prime-order group☆15Jan 15, 2021Updated 5 years ago
- The General Mediation Engine (GME) is a software framework for producing interactive narratives using narrative mediation.☆10Feb 4, 2018Updated 8 years ago
- Cartographic views of software, an Eclipse plug-in.☆21Feb 22, 2013Updated 13 years ago
- ☆12Dec 2, 2021Updated 4 years ago
- Materials from the course Introduction to Computational Finance and Financial Econometrics https://www.coursera.org/course/compfinance☆19Mar 30, 2014Updated 12 years ago
- learning to play atari games with reinforcement learning☆10Jan 4, 2016Updated 10 years ago
- A formalization of synthetic differential geometry in Coq using infinitesimal analysis☆11Aug 29, 2021Updated 4 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Econometric functionality in Julia☆11Dec 9, 2015Updated 10 years ago
- Versatile heuristic partial order planner☆15Jul 10, 2023Updated 2 years ago
- Experiment with synthetic domain theory in cubical agda☆14Nov 8, 2022Updated 3 years ago
- Mathematical notes and papers☆27Jan 22, 2026Updated 3 months ago
- Heads Up No Limit Poker Solver (Tipton)☆11Nov 18, 2020Updated 5 years ago
- ☆13Jul 2, 2020Updated 5 years ago
- Probabilistic logic language for inference, planning and learning in static and dynamic domains☆15Feb 27, 2017Updated 9 years ago
- Computing mixed-strategy Nash Equilibria for games involving multiple players☆25Jan 16, 2025Updated last year
- Type level algebraic "proofs" using lens combinators☆19Jul 26, 2019Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Support for calling Python from Haskell☆18Mar 7, 2012Updated 14 years ago
- A very little language☆16Jul 1, 2023Updated 2 years ago
- Demo for Plan Recognition as Planning over Classical Action Theories☆12Dec 29, 2016Updated 9 years ago
- ☆11May 14, 2023Updated 2 years ago
- Ant-Renamer Source Code☆20Oct 18, 2025Updated 6 months ago
- Selective applicative functors laws and theorems☆15Mar 12, 2020Updated 6 years ago
- A Mathematica Package for Cooperative Game Theory☆11Jun 6, 2024Updated last year