☆16Oct 3, 2021Updated 4 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:
- ☆11Aug 8, 2026Updated last month
- Guiding Program Synthesis by Learning to Generate Examples☆13Jul 23, 2023Updated 3 years ago
- XCSP3 Core Parser in C++☆20Sep 16, 2026Updated last week
- Access SOAP web services from GNU Emacs. This package is maintained as part of the GNU Emacs source repository☆10Jun 17, 2018Updated 8 years ago
- Tropy plugin for exporting items into Omeka☆12Apr 20, 2023Updated 3 years 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.
- An implementation of a USB-CDC-UART bridge for Raspberry Pi Pico.☆15Feb 12, 2026Updated 7 months ago
- PyXAI (Python eXplainable AI) is a Python library (version 3.6 or later) allowing to bring formal explanations suited to (regression or c…☆41May 22, 2026Updated 4 months ago
- Configuration Tree for Python☆14Nov 28, 2023Updated 2 years ago
- Interactive, regex-based folding☆15Jun 15, 2015Updated 11 years ago
- Whether you’re using LLMs or not, Symflower helps you build better software by pairing static, dynamic and symbolic analyses with LLMs. T…☆26Jun 30, 2025Updated last year
- Emacs mode for editing MiniZinc model file☆12Apr 26, 2023Updated 3 years ago
- A WAM (Warren Abstract Machine for Prolog) written in Common Lisp☆13Mar 24, 2019Updated 7 years ago
- A new language for optimization☆13May 17, 2021Updated 5 years ago
- Verification tools for HardCaml☆10Jun 13, 2018Updated 8 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 disassembler framework☆20Sep 16, 2022Updated 4 years ago
- Define Grafana dashboards with ReasonML☆18Jan 31, 2020Updated 6 years ago
- f3d, a.k.a. FREEDIUS, a.k.a. the Cartographic Modeling Environment, a.k.a. the Image Understanding Environment. Lisp-based geospatial im…☆10Nov 18, 2017Updated 8 years ago
- k theorem prover☆11Aug 16, 2022Updated 4 years ago
- "proving-contest"-backends for several theorem provers☆13Oct 15, 2024Updated last year
- Verified decision procedures for modal logics in Lean☆13Jun 13, 2020Updated 6 years ago
- Small Scheme interpreter and compiler☆14Feb 15, 2016Updated 10 years ago
- Pawns functional/imperative programming language compiler etc☆11Apr 16, 2025Updated last year
- Work in progress common lisp library for beautiful documentation generation☆16Apr 7, 2020Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A simple game in Scheme.☆15Dec 30, 2016Updated 9 years ago
- Allegro Common Lisp interface to Solr☆16Sep 15, 2026Updated last week
- Easy bindings between Lean and Python.☆35Aug 10, 2026Updated last month
- The probSAT SAT Solver☆27Oct 21, 2022Updated 3 years ago
- write c++ like python☆12Sep 25, 2023Updated 3 years ago
- Repository of free educational resources for learning artificial intelligence☆13Jan 24, 2022Updated 4 years ago
- A Haskell port of the C++ smallpt path tracer☆16Dec 14, 2020Updated 5 years ago
- ☆14Apr 25, 2022Updated 4 years ago
- Lisp-based OWL Full Processor on top of Common Lisp Object System (CLOS), See http://www-kasm.nii.ac.jp/~koide/SWCLOS2-en.htm☆19Mar 23, 2019Updated 7 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Neural machine translation with Recurrent Deterministic Policy Gradient☆10Aug 18, 2016Updated 10 years ago
- annotated bibliography on approximate computing☆10Jan 16, 2016Updated 10 years ago
- The Clicc Common Lisp implementation (version 0.6.4)☆19Oct 3, 2013Updated 12 years ago
- Helpers for using topkg with jbuilder☆15Oct 12, 2017Updated 8 years ago
- Integrated RDF Surfaces inspired by Pat Hayes, Patrick Hochstenbach and EYE.☆13Aug 13, 2025Updated last year
- 🍏 This is my toy lisp implementation☆17Jul 5, 2026Updated 2 months ago
- Frontend app example for integrating your app with Jobber and Atlantis. Built with React.☆17Jun 19, 2024Updated 2 years ago