Reimplementation of Sugar CSP solver in C++
☆10Feb 24, 2025Updated last year
Alternatives and similar repositories for csugar
Users that are interested in csugar 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 simple web tool for creating shareable images of your Touhou 1CC progress☆14Aug 16, 2023Updated 3 years ago
- ☆39Updated this week
- ☆10Oct 30, 2022Updated 4 years ago
- Identity Based Encryption schemes on the BLS12-381 pairing-friendly elliptic curve☆20Aug 31, 2021Updated 5 years ago
- Everything you need to run the gelatinbrain puzzle simulator☆18Dec 19, 2024Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Implementation of Lenstra-Lenstra-Lovász lattice basis reduction algorithm in Rust☆15Feb 24, 2022Updated 4 years ago
- ☆13Jan 17, 2022Updated 4 years ago
- ☆19May 25, 2026Updated 5 months ago
- The SQALE of CSIDH: Square-root velu Quantum-resistant isogeny Action with Low Exponents☆12Jul 1, 2021Updated 5 years ago
- ☆15Sep 20, 2023Updated 3 years ago
- LLL, MLL, BKZ, etc.☆12Dec 22, 2020Updated 5 years ago
- ☆16Updated this week
- Experimental port of the TFHE fully homomorphic encryption scheme to Rust.☆13Aug 15, 2022Updated 4 years ago
- ☆36Jun 29, 2019Updated 7 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.
- 基于 Flutter 的架构图绘制工具，让开发者能够以极高的效率生成美观、响应式的架构图。☆17Jun 11, 2024Updated 2 years ago
- ☆11Mar 3, 2019Updated 7 years ago
- ☆25Aug 9, 2022Updated 4 years ago
- Stronger and Faster Side-Channel Protections for CSIDH☆21Dec 20, 2020Updated 5 years ago
- The Pytorch implementation of the ISMIR 2017 paper☆13Jun 9, 2019Updated 7 years ago
- Supersingular Isogeny Diffie-Hellman in Rust☆20Nov 10, 2021Updated 5 years ago
- Some interesting transcription model wrapper☆13Sep 23, 2021Updated 5 years ago
- Controlling a Sony camera using MQTT feed from Bambu Lab 3D printer☆11Aug 12, 2023Updated 3 years ago
- WaniCTF'21-spring official writeup & source code☆14Oct 18, 2021Updated 5 years ago
- 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.
- Competitive Programming Language MM☆25Sep 21, 2024Updated 2 years ago
- Reproduction of the paper//arxiv.org/pdf/1803.04173.pdf☆18May 21, 2018Updated 8 years ago
- A Rust UI framework built on WASI.☆25Updated this week
- ☆17Dec 14, 2024Updated last year
- (wip) Reversi in Vim/Neovim without external dependencies☆14Nov 1, 2025Updated last year
- Random puzzle generator for The Witness☆166Apr 3, 2026Updated 7 months ago
- Deep dive into uConsole.☆13Oct 20, 2023Updated 3 years ago
- AI helps you DIY—from idea to publication. AIY gets images, GIFs, turns video to articles using Codex and APIs.☆16Oct 10, 2026Updated last month
- 📟 Web Serial for Vue.js☆12Jan 4, 2024Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A too simple vsti synth made with wdl-ol☆18Mar 27, 2017Updated 9 years ago
- A Rust hashconsing library.☆40Oct 8, 2026Updated last month
- A library that aims to make scripting buttons easier.☆18Oct 2, 2022Updated 4 years ago
- 纯手撸的单周期CPU、流水线CPU和Cache，适用于以前的北航计组课☆19Nov 25, 2022Updated 3 years ago
- BDD Package - Sapporo Edition☆23Apr 27, 2026Updated 6 months ago
- The manuscript for The SATySFibook (1st edition for the Web)☆36Aug 27, 2024Updated 2 years ago
- A toolkit for adopting LLM into your existing app.☆12Dec 1, 2023Updated 2 years ago
Are these results useful?