β16Oct 3, 2021Updated 5 years ago
Alternatives and similar repositories for lpcp-contest-2021
Users that are interested in lpcp-contest-2021 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- COmpact SOlver for COnstrained problemsβ15Updated this week
- π§ A translator between answer set programs and first-order logicβ17Oct 20, 2026Updated 3 weeks ago
- β11Aug 8, 2026Updated 3 months ago
- Guiding Program Synthesis by Learning to Generate Examplesβ13Jul 23, 2023Updated 3 years ago
- Models (and data) of constrained problems developped with the library PyCSP3β14Updated this week
- Deploy open-source AI quickly and easily - Special Bonus Offer β’ AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Schedule for ArtOfSATβ12Oct 11, 2023Updated 3 years ago
- XCSP3 Core Parser in C++β20Nov 3, 2026Updated last week
- A package for doing flag algebra computations with the Sage mathematics system. Written in Python and Cython.β13Mar 16, 2020Updated 6 years ago
- β10Mar 16, 2016Updated 10 years ago
- a worker bee for application hivesβ12Mar 24, 2026Updated 7 months ago
- A summary of ideas about transpilation -- work in progressβ23Jun 2, 2023Updated 3 years ago
- A fork of CLSQLβ11Jan 4, 2009Updated 17 years ago
- A Common Lisp client library for the Oxford dictionary APIβ14May 17, 2026Updated 5 months ago
- Configuration Tree for Pythonβ14Nov 28, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean β’ AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Interactive, regex-based foldingβ15Jun 15, 2015Updated 11 years ago
- Define Grafana dashboards with ReasonMLβ18Jan 31, 2020Updated 6 years ago
- Major mode for editing and executing AppleScript codeβ13Mar 6, 2021Updated 5 years ago
- Pawns functional/imperative programming language compiler etcβ11Apr 16, 2025Updated last year
- JIGSAW is a knowledge-based Word Sense Disambiguation system that attempts to disambiguate all words in a text by exploiting WordNet sensβ¦β13Mar 25, 2013Updated 13 years ago
- Verification tools for HardCamlβ10Jun 13, 2018Updated 8 years ago
- SynthTL: Translating Natural Language to Temporal Logics with Large Language Models and Model Checkersβ12Sep 20, 2024Updated 2 years ago
- A disassembler frameworkβ20Sep 16, 2022Updated 4 years ago
- Perl based BitTorrent module available on CPANβ14Oct 11, 2026Updated 3 weeks ago
- 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.
- Output stdin as GitHub/Slack/Jira etc... formatted code, lists, or quotesβ15May 30, 2020Updated 6 years ago
- documentation for things like relations and parts of speech used by wordnetsβ15Oct 23, 2026Updated 2 weeks ago
- A small simple webserver for Selfβ13May 2, 2020Updated 6 years ago
- A WAM (Warren Abstract Machine for Prolog) written in Common Lispβ12Mar 24, 2019Updated 7 years ago
- Lean 4 interface to Eigenβ12Dec 13, 2024Updated last year
- Emacs functions that zoom in on the text at point.β21Aug 23, 2015Updated 11 years ago
- k theorem proverβ11Aug 16, 2022Updated 4 years ago
- An implementation of the multi-paradigm declarative language Curry which compiles Curry programs into Haskell programsβ24Oct 8, 2026Updated last month
- Access redmine Rest API via elisp in your favorite editor.β13May 20, 2020Updated 6 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits β’ AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Example on how to use Java Swing from ABCL (Armed Bear Common Lisp)β50Mar 6, 2019Updated 7 years ago
- Some examples for the architecture testing library ArchUnit. I use these examples in my live coding sessions.β20Jan 30, 2026Updated 9 months ago
- A common lisp logging library providing context sensitive logging of more than just strings to more than just local files / output streamβ¦β15Mar 15, 2022Updated 4 years ago
- Microsite for the MirageOS hack retreatsβ13May 10, 2026Updated 6 months ago
- VIC - A DSL for programming PIC Microcontrollersβ11Aug 12, 2022Updated 4 years ago
- A Factor port of QuickCheck unit test frameworkβ14May 9, 2020Updated 6 years ago
- A simple game in Scheme.β15Dec 30, 2016Updated 9 years ago
Are these results useful?