Python 3 ctypes port of dds, the bridge double dummy solver
☆21Jan 5, 2019Updated 7 years ago
Alternatives and similar repositories for python-dds
Users that are interested in python-dds are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A suite of tools for generation and analysis of bridge deals. Read the documentation at https://endplay.readthedocs.io☆31Mar 21, 2025Updated last year
- a game engine for bridge☆76Sep 16, 2026Updated 3 weeks ago
- SBKing is a King card game software aimed to provide a rich and intuitive interface and an online experience to King players. It is still…☆10Jan 6, 2026Updated 9 months ago
- Project Euler but with some variety☆15Jul 6, 2026Updated 3 months ago
- Data Processing and Machine Learning for Contract Bridge☆22May 26, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A free UCI-compliant chess engine in C++☆10Aug 8, 2020Updated 6 years ago
- Um projeto para ajudar pessoas a conquistarem o seu melhor☆18Apr 1, 2020Updated 6 years ago
- Application-server-side cluster connection diagnostics.☆22May 21, 2025Updated last year
- automatic visual data explorer for datasette☆14Apr 20, 2023Updated 3 years ago
- Add UTF decoding support to the OCaml Stdlib☆16Aug 13, 2026Updated last month
- Basic, cross-platform set of commands to manipulate and query the file system, and OCaml library.☆18Sep 3, 2024Updated 2 years ago
- Collection of (squirrel) vScripts for CS:GO☆24Feb 19, 2018Updated 8 years ago
- Lazy prefix trees in OCaml☆22Jan 22, 2020Updated 6 years ago
- An interactive exploration of various number formats☆31Nov 8, 2024Updated last year
- 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.
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Sep 23, 2026Updated 2 weeks ago
- Kafka Connect plugin for sending events to OpenSearch☆19May 30, 2022Updated 4 years ago
- Feature set algebra for linguistics☆17Jul 7, 2026Updated 3 months ago
- Homebrew tap for GAP☆19Oct 20, 2025Updated 11 months ago
- Lookup and load installed OCaml modules☆17Aug 13, 2026Updated last month
- Zippers for cofree types☆15Dec 7, 2021Updated 4 years ago
- python操作注册表☆18Nov 3, 2020Updated 5 years ago
- An experimental typing of Lojban grammar, in Haskell☆13Jun 20, 2013Updated 13 years ago
- Modular Finite Maps over Ordered Types in Coq [maintainers=@letouzey,@palmskog]☆11Jun 22, 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.
- Copy and modify plain text files between devices without templates or symlinks☆18Jun 15, 2026Updated 3 months ago
- Partial combinatory algebras and realizability interpretations of arithmetic, in Coq.☆13Mar 28, 2017Updated 9 years ago
- Tools to download and aggregate feeds of vaccination clinic location information in the United States.☆26Aug 30, 2021Updated 5 years ago
- Library of Coq proof automation☆16Apr 1, 2026Updated 6 months ago
- libcurl for Standard ML and http client with asynchronous support (via sml-ev)☆12Jan 5, 2024Updated 2 years ago
- A Python Module to create and access GitHub Gists☆10Nov 11, 2018Updated 7 years ago
- A single-file starting point for your Emacs configuration☆18Feb 25, 2025Updated last year
- Patricia Tree data structure in OCaml for maps and sets, supports generic (GADT) keys☆18Aug 26, 2026Updated last month
- Defunctionalised higher-kinded polymorphism in OCaml.☆20Oct 13, 2020Updated 5 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Coq development accompanying the paper "Efficient Extensional Binary Tries"☆23Apr 17, 2024Updated 2 years ago
- ☆10Jul 21, 2017Updated 9 years ago
- MNASNet implementation and pre-trained model in PyTorch☆10Mar 20, 2019Updated 7 years ago
- A small C helper library for storing sets of IPv4 and IPv6 addresses☆10Apr 16, 2022Updated 4 years ago
- ☆12Jul 17, 2020Updated 6 years ago
- 🔙 Backward lists for OCaml☆21Jun 19, 2026Updated 3 months ago
- A pytorch framework for building neurals networks for visual recognition, encoding, and detection tasks. The goal is to bridge the gap be…☆10Dec 20, 2019Updated 6 years ago