Auction Theory Toolbox – Computer Verified Auctions
☆15Jul 12, 2016Updated 10 years ago
Alternatives and similar repositories for auctions
Users that are interested in auctions are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Delay Differential Equations in Haskell☆11Dec 4, 2018Updated 7 years ago
- The artifact of the paper "Recursive Subtyping for All"☆10Apr 29, 2024Updated 2 years ago
- A set of functions in pure Julia for Game Theory☆12Oct 20, 2026Updated last week
- Example formalization of Game Theoretic concepts in Lean☆35Feb 14, 2025Updated last year
- Financial datetimes and holiday recurrence rules☆18Jul 2, 2020Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A Julia interface for retrieving data from the Bureau of Economic Analysis (BEA).☆19Sep 14, 2026Updated last month
- A Julia wrapper for the OpenSpiel project☆12Sep 5, 2024Updated 2 years ago
- A FUSE file system that interpolates secret information☆20Dec 16, 2016Updated 9 years ago
- ☆12Jul 19, 2025Updated last year
- A Haskell number theory library.☆15Jul 3, 2017Updated 9 years ago
- LLVM compiler for python☆12Dec 7, 2024Updated last year
- "Building Distributed Systems with Stateright"☆19Jul 28, 2025Updated last year
- Julia implementation of the simplex algorithm for rational numbers.☆15Jul 1, 2018Updated 8 years ago
- Python wrapper for selected SLICOT routines, notably including solvers for Riccati, Lyapunov and Sylvester equations.☆12Nov 15, 2017Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Tools for functors from Hask^k to Hask☆23Aug 25, 2019Updated 7 years ago
- A couple of examples to learn how to use numba and blz☆15Apr 3, 2014Updated 12 years ago
- Official code for the paper "HEXA-MoE: Efficient and Heterogeneous-Aware MoE Acceleration with Zero Computation Redundancy"☆16Mar 6, 2025Updated last year
- lrs wrapper module for Julia☆15Oct 19, 2026Updated last week
- Phase diagrams from the paper "Resolving New Keynesian Anomalies with Wealth in the Utility Function"☆11May 28, 2025Updated last year
- A package exposing a function for generating catamorphisms.☆29Apr 15, 2018Updated 8 years ago
- The well-known pager, with performance improvements for huge files☆13Sep 23, 2014Updated 12 years ago
- DSOLVE☆10Apr 11, 2014Updated 12 years ago
- Fast time calls from user space.☆12Dec 22, 2015Updated 10 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- An experiment in functional interface design☆24Oct 29, 2016Updated 10 years ago
- Prepares US state two-region Make and Use tables☆13Apr 23, 2025Updated last year
- A demo repo for some unusual and user-unfriendly behaviour with AWS environment variable encryption☆11Oct 30, 2021Updated 5 years ago
- ☆17Sep 30, 2026Updated last month
- MATLAB implementation of Eaton & Kortum (EMA, 2002)☆13Mar 10, 2015Updated 11 years ago
- A concurrent mutable ring-buffer☆13Oct 14, 2024Updated 2 years ago
- Ocaml cross-compiler for Windows: packages description for OPAM☆10Jul 27, 2017Updated 9 years ago
- A WIP Float32 soft FPU implementation☆22Jun 25, 2021Updated 5 years ago
- Essential toolkits for working with autoregressive models☆12Apr 20, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Relational algebra☆25Jan 1, 2017Updated 9 years ago
- Collection of linear & nonlinear (Kalman) Filters for economic models☆11Jul 11, 2024Updated 2 years ago
- A Mathematica Package for Cooperative Game Theory☆11Jun 6, 2024Updated 2 years ago
- Requirement traceability tool for OCaml☆13Jun 21, 2015Updated 11 years ago
- Generate fake recursion schemes☆12Aug 20, 2020Updated 6 years ago
- Extension of MultivariatePolynomials to semialgebraic sets☆24Sep 21, 2026Updated last month
- A partial binary associative operator (appendMaybe :: a → a → Maybe a)☆13Oct 10, 2024Updated 2 years ago