☆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:
- ☆11Aug 8, 2026Updated 2 months ago
- Schedule for ArtOfSAT☆12Oct 11, 2023Updated 3 years ago
- Generates static file cache for Confluence☆14Jul 26, 2016Updated 10 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
- Perl based BitTorrent module available on CPAN☆14Oct 11, 2026Updated last week
- 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.
- rust binding for lean4☆11Jul 1, 2023Updated 3 years ago
- Lisp machine X11 keyboard layout☆13Apr 27, 2023Updated 3 years ago
- A WAM (Warren Abstract Machine for Prolog) written in Common Lisp☆13Mar 24, 2019Updated 7 years ago
- Verification tools for HardCaml☆10Jun 13, 2018Updated 8 years ago
- Interactive, regex-based folding☆15Jun 15, 2015Updated 11 years ago
- Example on how to use Java Swing from ABCL (Armed Bear Common Lisp)☆49Mar 6, 2019Updated 7 years ago
- Automate running commands after saving buffers!☆13Aug 30, 2012Updated 14 years ago
- Configuration Tree for Python☆14Nov 28, 2023Updated 2 years ago
- Convert real-time bidding (RTB) models to the AppNexus Bonsai language☆15Oct 17, 2017Updated 9 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.
- Major mode for editing and executing AppleScript code☆13Mar 6, 2021Updated 5 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
- documentation for things like relations and parts of speech used by wordnets☆15Updated this week
- Emacs functions that zoom in on the text at point.☆21Aug 23, 2015Updated 11 years ago
- Emacs mode for editing MiniZinc model file☆12Apr 26, 2023Updated 3 years ago
- Output stdin as GitHub/Slack/Jira etc... formatted code, lists, or quotes☆15May 30, 2020Updated 6 years 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
- "proving-contest"-backends for several theorem provers☆13Oct 15, 2024Updated 2 years ago
- 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.
- Verified decision procedures for modal logics in Lean☆13Jun 13, 2020Updated 6 years ago
- A Factor port of QuickCheck unit test framework☆14May 9, 2020Updated 6 years ago
- Small Scheme interpreter and compiler☆14Feb 15, 2016Updated 10 years ago
- Pack file encoder/decoder in OCaml☆12Jun 2, 2017Updated 9 years ago
- The probSAT SAT Solver☆27Oct 21, 2022Updated 3 years ago
- write c++ like python☆12Sep 25, 2023Updated 3 years ago
- ☆14Apr 25, 2022Updated 4 years ago
- A Haskell port of the C++ smallpt path tracer☆16Dec 14, 2020Updated 5 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☆20Mar 23, 2019Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Helpers for using topkg with jbuilder☆15Oct 12, 2017Updated 9 years ago
- Work in progress common lisp library for beautiful documentation generation☆16Apr 7, 2020Updated 6 years ago
- Allegro Common Lisp interface to Solr☆16Updated this week
- 🍏 This is my toy lisp implementation☆17Jul 5, 2026Updated 3 months ago
- Notes on P-omega☆14Jul 11, 2017Updated 9 years ago
- Integrated RDF Surfaces inspired by Pat Hayes, Patrick Hochstenbach and EYE.☆13Aug 13, 2025Updated last year
- The SAT and QBF Programming Language Bule☆24Jul 18, 2026Updated 3 months ago