gnomeby / swiss-system-chess-tournamentLinks
The system is for helping judges to provide chess tournaments based on swiss system.
☆11Updated 6 years ago
Alternatives and similar repositories for swiss-system-chess-tournament
Users that are interested in swiss-system-chess-tournament are comparing it to the libraries listed below
Sorting:
- symbolic reachability checker☆23Updated 3 years ago
- Rudd is a Binary Decision Diagram (BDD) library written in pure Go.☆11Updated 7 months ago
- Implementing SVM layer for classification using Keras Module☆7Updated last year
- FPGA synthesis tool powered by equality saturation and program synthesis.☆12Updated last week
- It's a mode for flex files that provide better syntax highlight than flex-mode.el☆9Updated 5 years ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Updated 3 months ago
- The Cubicle model checker☆14Updated last year
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Updated last year
- ☆13Updated 11 months ago
- sketches for egg: a flexible, high-performance e-graph library☆27Updated 3 months ago
- 🛣 Distance-vector routing protocol implementation in Python☆7Updated 7 years ago
- ESBMC-GPU is a context-bounded model checker based on the satisfiability modulo theories (SMT) to check for data race, deadlock, pointer …☆8Updated 8 years ago
- Development for: Formally Verified Speculation and Deoptimization in a JIT Compiler☆11Updated 2 years ago
- Fuzz testing for Dafny☆13Updated 3 years ago
- A synthesis-enabled solver for relational logic☆27Updated 7 years ago
- work in progress, playing around with btor2 in rust☆11Updated 3 weeks ago
- ☆15Updated 2 years ago
- Code for enumeration from a CFG☆18Updated last year
- ☆13Updated 7 years ago
- Cross platform Instant Outbidding Bot, Instant Outbidder Bot is designed to outbid all real-time bids within a second by percentage incre…☆102Updated 2 years ago
- Racket bindings for Z3☆20Updated 12 years ago
- ☆13Updated 2 months ago
- Instant collaboration on GitHub projects.☆146Updated 5 years ago
- executable λ-calclulus☆14Updated 9 years ago
- some my implementation of content in PPA☆18Updated 4 years ago
- ☆18Updated 5 years ago
- Tools for manipulating CHC and related files☆15Updated 2 years ago
- Debugger in the Trepan family for x-python☆17Updated 3 weeks ago
- Synthesizes efficient Z3 strategies tailored to your problem set! Repo for the IJCAI'24 paper: Layered and Staged Monte Carlo Tree Search…☆17Updated 2 weeks ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆35Updated 2 years ago