Go to https://pycsp.github.io/ for more recent work on PyCSP
☆38Aug 19, 2021Updated 5 years ago
Alternatives and similar repositories for pycsp
Users that are interested in pycsp are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Server for github-readme-stats☆14Jan 26, 2023Updated 3 years ago
- Erlang and Elixir supervisors restart strategies☆12Aug 3, 2017Updated 9 years ago
- ☆11May 26, 2020Updated 6 years ago
- Erlang TCP/IP Stack☆20Aug 17, 2016Updated 10 years ago
- Yet another Crystal library for manipulating Git repositories in an object-oriented way.☆17Oct 22, 2017Updated 8 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.
- Tools for splitting, normalizing, text-shaping Arabic script☆12Jun 23, 2024Updated 2 years ago
- An Ansible Playbook to fully prepare a machine for Kubernetes development☆10Oct 10, 2024Updated last year
- The semantic code generation framework☆30May 31, 2014Updated 12 years ago
- Project has moved to https://git.fmsbw.de/gpresent-fork/☆11Oct 5, 2025Updated 11 months ago
- a native library implementing bip-39 purely for the crystal language.☆17Jan 5, 2023Updated 3 years ago
- Generative art app 🎨 built with ❤️ using p5.js.☆14Jan 7, 2023Updated 3 years ago
- fork of https://bitbucket.org/haypo/aiogevent☆14Oct 15, 2021Updated 4 years ago
- Haskell's Core in K.☆20Jun 21, 2017Updated 9 years ago
- ☆13Aug 31, 2026Updated 2 weeks 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.
- Virtual github filesystem☆14Feb 10, 2017Updated 9 years ago
- This implements the python subprocess.communicate tool for rust☆13Nov 14, 2016Updated 9 years ago
- MINIX v3.1.0 - described in the book 'Operating Systems Design and Implementation' 3rd edition.☆19Jun 1, 2016Updated 10 years ago
- Some cool game hacks☆21Apr 7, 2018Updated 8 years ago
- Wiki in crystal, using Markdown and Git, inspired by dokuwiki. Last features to build are pretty hard, if you have some time to help... :…☆23Jun 28, 2022Updated 4 years ago
- An extension to allow Django to use Handlebars templates through the pybars port of Handlebars.js☆27Jun 22, 2015Updated 11 years ago
- Python client for Google Kaniko☆11Jul 19, 2022Updated 4 years ago
- Import & export of mutable globals☆17Jun 24, 2018Updated 8 years ago
- ☆15Jun 22, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A chance to focus on graph drawing itself, forget APIs and other stuffs.☆40Apr 28, 2022Updated 4 years ago
- Yaziji : Arabic phrase generator☆17Jan 2, 2025Updated last year
- Python BDD Pattern☆18Feb 17, 2018Updated 8 years ago
- shadow table.☆11Jan 10, 2020Updated 6 years ago
- Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows☆25Jan 25, 2013Updated 13 years ago
- Secret Handshake implementation in Python☆22Jan 6, 2026Updated 8 months ago
- web server with CGI support☆12Apr 15, 2016Updated 10 years ago
- Arena allocator for Python objects.☆13Apr 25, 2020Updated 6 years ago
- A plugin for pytest devs to view how assertion rewriting recodes the AST☆10Sep 29, 2019Updated 6 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.
- 使用 RxJS 与 React 实现一个 SQL 编辑器☆11May 12, 2019Updated 7 years ago
- ACCU 2017 - "History of Time: Asynchronous C++"☆15Apr 26, 2017Updated 9 years ago
- CLI tools for `bali` services & gRPC clients☆12Apr 29, 2024Updated 2 years ago
- Reusable neuroimaging pipelines using nipype☆17May 28, 2019Updated 7 years ago
- gevent-cooperative child processes and inter-process communication☆92Updated this week
- original 8bit CPU of ICF3-Z☆12Feb 20, 2020Updated 6 years ago
- for printing QtableView & QtableWidget and export them to pdf☆10Dec 30, 2022Updated 3 years ago