chaz's new fpdb repo
☆49Apr 21, 2024Updated 2 years ago
Alternatives and similar repositories for fpdb-chaz
Users that are interested in fpdb-chaz are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Free Poker DataBase development, with a focus on OSX.☆60Jan 9, 2018Updated 8 years ago
- Implementation of counterfactual regret minimization (CFR) for Texas hold'em poker☆53Jun 23, 2021Updated 5 years ago
- graphical editor for DjVu☆12Oct 17, 2022Updated 3 years ago
- Course Website for CS6225: Programs and Proofs @ IIT Madras☆13Apr 28, 2021Updated 5 years ago
- Shared Cheat Sheet for Coq☆10Sep 8, 2016Updated 9 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- All the code I've ever written in Ltac2☆11Jan 19, 2021Updated 5 years ago
- A Self-Interpreter for F-omega☆16Dec 6, 2015Updated 10 years ago
- RISC-V Specification in Coq☆13Sep 17, 2018Updated 7 years ago
- Reference sheet for the Coq language.☆17Sep 16, 2020Updated 5 years ago
- Hardfloat using chisel3☆16Sep 23, 2020Updated 5 years ago
- Index page with links to SDKs, docs, etc.☆13Jun 30, 2020Updated 6 years ago
- Simple autograder for Haskell programming assignments☆18Feb 18, 2025Updated last year
- A Coq library providing tactics to deal with hypothesis☆23Apr 13, 2026Updated 4 months ago
- Formalization of Linear Logic in Coq☆18Apr 9, 2026Updated 4 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Formalisation of a type unification algorithm in Coq proof assistant.☆21Oct 9, 2018Updated 7 years ago
- Distributed, consistent and highly available key-value storage system (using LevelDB) based on Raft consensus algorithm.☆10Apr 14, 2016Updated 10 years ago
- A tiny lazy objective functional language☆21Sep 12, 2024Updated last year
- Template project for Coq plugins using the Dune build system, showcasing some advanced features [maintainer=@ejgallego]☆23Jul 13, 2023Updated 3 years ago
- Helm charts for Clearbit services☆13May 9, 2022Updated 4 years ago
- The Coq formalization of the paper Reasoning about the garden of forking paths.☆25Feb 7, 2025Updated last year
- NLog Target for GrayLog2☆17Mar 29, 2019Updated 7 years ago
- Poker Database and HUD for online poker☆25Dec 15, 2012Updated 13 years ago
- Real time replication from MySQL to Neo4J using binary logs☆11Nov 13, 2015Updated 10 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Maratona de Programação UnB (ICPC)☆14May 18, 2020Updated 6 years ago
- Deploy, manage, connect into Redis Cluster by using Nomad and Envoy Proxy☆14Nov 11, 2020Updated 5 years ago
- ☆18Oct 8, 2023Updated 2 years ago
- A daemon to build and keep fedmsg statistics☆11Jun 28, 2017Updated 9 years ago
- ☆14Feb 10, 2023Updated 3 years ago
- Bedrock Bit Vector Library☆30Aug 2, 2026Updated 3 weeks ago
- POSIX clock_gettime(2), clock_getres(2) and clock_nanosleep(2) for NodeJS☆10Jan 28, 2023Updated 3 years ago
- Tools for teaching the open source projects seminar @ RIT☆17Oct 8, 2018Updated 7 years ago
- 🦠 An experimental elaborator for dependent type theory using effects and handlers☆38Jun 19, 2026Updated 2 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Live SSBM stats from video streams☆22Apr 27, 2017Updated 9 years ago
- Formalization of the basic actuarial mathematics using Coq☆23Dec 11, 2024Updated last year
- Modify ELF executables☆16Mar 5, 2019Updated 7 years ago
- A pythonic library to parse /proc/mdstat file☆14Feb 7, 2026Updated 6 months ago
- ☆37Jul 18, 2019Updated 7 years ago
- A Coq to Cedille compiler written in Coq☆34Aug 4, 2026Updated 3 weeks ago
- AI driven drum patterns 🥈 Runner up for "Most fun/Best easter egg" in Supabase's Launch Week 7 Hackathon☆17Apr 5, 2024Updated 2 years ago