seahorse - A handy package for kickstarting AI contests
☆83Jan 29, 2026Updated 4 months ago
Alternatives and similar repositories for seahorse
Users that are interested in seahorse are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Replacing standard support propagation by belief propagation in MiniCP☆15Apr 7, 2026Updated 2 months ago
- Julia hybrid constraint programming solver enhanced by a reinforcement learning driven search.☆170Mar 27, 2024Updated 2 years ago
- SeaPearl's pool of examples☆21Jul 17, 2023Updated 2 years ago
- A cpmpy-based library for constraint acquisition.☆21Mar 23, 2026Updated 2 months ago
- ☆14Jan 25, 2026Updated 4 months 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.
- Reinforcement learning modular with pytorch☆11Jan 18, 2021Updated 5 years ago
- Fast, Clojure-based rule engine☆16Mar 31, 2019Updated 7 years ago
- A collection of problem specifications in Essence.☆10Dec 4, 2025Updated 6 months ago
- Source code associated with the paper "Deep Learning for Data-Driven Districting-and-Routing", authored by A. Ferraz, Q. Cappart, and T. …☆27Jul 2, 2025Updated 11 months ago
- Implementation of the paper "Improving Optimization Bounds using Machine Learning: Decision Diagrams meet Deep Reinforcement Learning".☆29Feb 16, 2020Updated 6 years ago
- A standalone Line Rider version based on Line Rider Advanced☆13Aug 15, 2025Updated 9 months ago
- A simple example program to animate a sprite in Kivy☆11Jun 15, 2017Updated 8 years ago
- My personal solutions to the CS231n assignments (Spring 2019). CS231n: "CNN" is a Computer Vision class taught at Stanford.☆10Dec 8, 2022Updated 3 years ago
- Bootstrap Piku onto a server☆21Nov 26, 2025Updated 6 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.
- Demostration of simple microservices written in Scala using various frameworks☆15Sep 11, 2022Updated 3 years ago
- [Constraints'24] Ner4Opt: Named-Entity Recognition for Optimization☆18Mar 30, 2026Updated 2 months ago
- A simple programming problem to practice your coding skills. With visualzations and unit tests☆15Oct 17, 2024Updated last year
- ☆15Jul 17, 2025Updated 10 months ago
- A Common Lisp implementation of the Cassowary constraint solving toolkit.☆21May 18, 2026Updated 3 weeks ago
- in this repo, I create models to process image (upscale, debluring...)☆15Oct 5, 2021Updated 4 years ago
- Code for the paper 'On Learning Paradigms for the Travelling Salesman Problem' (NeurIPS 2019 Graph Representation Learning Workshop)☆32Dec 17, 2020Updated 5 years ago
- Graph Learning for Planning☆27Mar 27, 2026Updated 2 months ago
- Basic project for UV AI21 of UTC using Maven, AntLR and JavaFX (with Visual Studio Code).☆17Apr 24, 2024Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- On-demand atlas construction for any neuroimaging study☆21Jun 11, 2025Updated last year
- Generate images of fractals like the Mandelbrot or the Julia set.☆93May 16, 2024Updated 2 years ago
- Anki app for the ReMarkable device☆32May 27, 2026Updated 2 weeks ago
- The official repository of the paper "InfoCD: A Contrastive Chamfer Distance Loss for Point Cloud Completion" published at NeurIPS 2023☆21Nov 4, 2023Updated 2 years ago
- ☆16Feb 10, 2022Updated 4 years ago
- Medium length summaries of math subjects like multivariable calculus. Longer than a formula sheet, shorter than a textbook.☆82Jun 11, 2022Updated 4 years ago
- A repository of demonstrations, from the twitter threads here: https://twitter.com/DrDanobi☆57Jan 9, 2024Updated 2 years ago
- this repo is for my homemade RC scaled autonomous car for the IronCar/DIY robocars contest, this repo is permanently changing, sorry if I…☆22Jan 30, 2023Updated 3 years ago
- Showing how some simple mathematical theories naturally give rise to some common data-structures☆39Jun 13, 2024Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- a game launcher to host all of my python games☆12Nov 16, 2018Updated 7 years ago
- This repository is where you can find source code for many of the TechnicalCafe tutorials!☆18Oct 2, 2020Updated 5 years ago
- Common Lisp and CXX interoperation☆33Nov 27, 2025Updated 6 months ago
- NEAT implementation for Flappy Bird game☆24Jul 18, 2020Updated 5 years ago
- Temporal models and versioning for Laravel☆33May 20, 2026Updated 3 weeks ago
- This repository is the the implementation of the JAIR paper: https://doi.org/10.1613/jair.1.15320. This repository provides the codebase …☆80Mar 11, 2025Updated last year
- Constraint solver based on abstract domains☆33Oct 22, 2024Updated last year