Learn Prolog Now! Proper and elegant exercise solutions
☆46Feb 1, 2015Updated 11 years ago
Alternatives and similar repositories for lpnes
Users that are interested in lpnes are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Language Server for Prolog☆13Updated this week
- Python versions of exercises from the CORE Econ textbook☆14Aug 25, 2023Updated 2 years ago
- Higher kinded polymorphism in SML☆15Sep 2, 2020Updated 5 years ago
- Twitterbot that generates orthographically plausible German words with semantically plausible English explanations.☆15Oct 19, 2015Updated 10 years ago
- utility functions for testing attoparsec parsers with hspec☆14Mar 21, 2015Updated 11 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.
- ℹ️ Index-related functions for lists☆12Nov 15, 2021Updated 4 years ago
- ☆13May 3, 2020Updated 6 years ago
- Commonly useful extensions for the MMark markdown processor☆12Jun 14, 2026Updated last month
- ☆24Mar 18, 2025Updated last year
- Make input methods play nicely with alternative keyboard layouts on OS level☆10Jun 23, 2026Updated 3 weeks ago
- Designing, programming and deploying, in style.☆58Mar 15, 2022Updated 4 years ago
- Turn GHC `-pj` profiling output into FlameGraph format.☆13Mar 2, 2018Updated 8 years ago
- Monad and transformer for deferred-effect pure prompt-response queries☆12Jun 28, 2019Updated 7 years ago
- It's a baby compiler. (Lean btw.)☆16May 19, 2025Updated last year
- 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.
- Repository aiming to support NGINX and open-source software 💻☆10Dec 15, 2019Updated 6 years ago
- Work with WAVE and RF64 files in Haskell☆11Jun 14, 2026Updated last month
- Materials for "Multi-property Steering of Large Language Models with Dynamic Activation Composition"☆14Nov 22, 2024Updated last year
- Efficiently scale, crop, flip images with JuicyPixels☆15Jun 14, 2026Updated last month
- Humans consulting HCH☆10Sep 23, 2017Updated 8 years ago
- APL function editor written in APL☆12Mar 9, 2026Updated 4 months ago
- N2O: Standard ML Application Server☆18Nov 6, 2021Updated 4 years ago
- Static analysis of a parallel Scheme☆18Jun 3, 2014Updated 12 years ago
- Prolog implemented in Python☆12Sep 6, 2024Updated last year
- 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.
- A nullary type class for partial functions☆15Nov 28, 2017Updated 8 years ago
- Flexible generation of identicons in Haskell☆16Jun 14, 2026Updated last month
- All code and content for my blog.☆15Sep 23, 2018Updated 7 years ago
- A reasonably performing MD5 implementation in pure Haskell☆12Jun 23, 2026Updated 3 weeks ago
- ☆14Mar 10, 2021Updated 5 years ago
- Use ido to answer yes or no questions.☆13Nov 20, 2016Updated 9 years ago
- Evaluating LLMs performance in PR reviews as an indicator for their capability in creating PRs.☆13Apr 10, 2024Updated 2 years ago
- ☆15Aug 9, 2021Updated 4 years ago
- Bibliography of Scheme-related Research☆16Apr 11, 2019Updated 7 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.
- ☆12Oct 24, 2024Updated last year
- First-order knowledge compilation for lifted probabilistic inference☆11Jun 14, 2017Updated 9 years ago
- An Avy-powered popup menu☆18Jun 23, 2026Updated 3 weeks ago
- Cloud Haskell - Asynchronous Execution☆18Sep 3, 2024Updated last year
- ☆12Jan 31, 2020Updated 6 years ago
- Pytorch implementation on OpenAI's Procgen ppo-baseline, built from scratch.☆14May 17, 2024Updated 2 years ago
- Utility functions for testing Megaparsec parsers with Hspec☆18Jun 14, 2026Updated last month