☆15Oct 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:
- ☆11Sep 21, 2025Updated 8 months ago
- Models (and data) of constrained problems developped with the library PyCSP3☆14Mar 29, 2026Updated 2 months ago
- Guiding Program Synthesis by Learning to Generate Examples☆13Jul 23, 2023Updated 2 years ago
- Schedule for ArtOfSAT☆11Oct 11, 2023Updated 2 years ago
- Tools for quantum circuits synthesis, optimization and others.☆24Nov 18, 2025Updated 7 months 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.
- XCSP3 Core Parser in C++☆19Jan 14, 2026Updated 5 months ago
- Apache XML Graphics FOP PDF Images☆20Jun 5, 2026Updated 2 weeks ago
- ☆10Mar 16, 2016Updated 10 years ago
- The BASIC-BINARY-IPC system provides an interface for performing inter process communication using IPv4 or local streams. The interface f…☆21Nov 7, 2021Updated 4 years ago
- 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
- A simple implementation of Yet another script language Chtholly☆21Mar 23, 2019Updated 7 years ago
- Lisp machine X11 keyboard layout☆13Apr 27, 2023Updated 3 years ago
- PyXAI (Python eXplainable AI) is a Python library (version 3.6 or later) allowing to bring formal explanations suited to (regression or c…☆39May 22, 2026Updated 3 weeks ago
- Convert real-time bidding (RTB) models to the AppNexus Bonsai language☆15Oct 17, 2017Updated 8 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Emacs mode for editing MiniZinc model file☆12Apr 26, 2023Updated 3 years ago
- documentation for things like relations and parts of speech used by wordnets☆14Jun 18, 2024Updated 2 years ago
- A new language for optimization☆13May 17, 2021Updated 5 years ago
- Define Grafana dashboards with ReasonML☆18Jan 31, 2020Updated 6 years ago
- A disassembler framework☆20Sep 16, 2022Updated 3 years ago
- k theorem prover☆11Aug 16, 2022Updated 3 years ago
- Lucene demo written in Clojure☆14Mar 22, 2011Updated 15 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
- Some examples for the architecture testing library ArchUnit. I use these examples in my live coding sessions.☆20Jan 30, 2026Updated 4 months 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.
- Whether you’re using LLMs or not, Symflower helps you build better software by pairing static, dynamic and symbolic analyses with LLMs. T…☆24Jun 30, 2025Updated 11 months ago
- XFree86 window movement for OS X☆24Jun 2, 2026Updated 2 weeks ago
- Easily sources for you libraries enabling ctags for your sbt projects - for use with vim, emacs, sublime☆32Aug 8, 2014Updated 11 years ago
- Pawns functional/imperative programming language compiler etc☆11Apr 16, 2025Updated last year
- A simple syntax plugin for editing Jekyll enhanced markdown☆20Sep 3, 2017Updated 8 years ago
- Work in progress common lisp library for beautiful documentation generation☆16Apr 7, 2020Updated 6 years ago
- A simple game in Scheme.☆15Dec 30, 2016Updated 9 years ago
- A convenience layer over sb-ext:run-program☆11Jan 20, 2015Updated 11 years ago
- Allegro Common Lisp interface to Solr☆15May 28, 2026Updated 3 weeks ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Dynamic binary instrumentation based crypto detection framework. Implementation of http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumbe…☆18Feb 22, 2013Updated 13 years ago
- Stuff related with piracy☆10Oct 7, 2020Updated 5 years ago
- write c++ like python☆12Sep 25, 2023Updated 2 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☆18Mar 23, 2019Updated 7 years ago
- Microsite for the MirageOS hack retreats☆13May 10, 2026Updated last month
- A Haskell port of the C++ smallpt path tracer☆16Dec 14, 2020Updated 5 years ago
- Pack file encoder/decoder in OCaml☆12Jun 2, 2017Updated 9 years ago