Grasshopper's Monadic Parser
☆12Apr 7, 2026Updated 2 months ago
Alternatives and similar repositories for GMP
Users that are interested in GMP are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A friendly functional language for finding counterexamples 🎯☆15Jul 15, 2024Updated last year
- 🌽 Core types and functions that power the Haskell `co-log` implementation☆18May 27, 2026Updated 2 weeks ago
- Listagem de comunidades relacionadas com tech em Portugal☆28Jan 13, 2025Updated last year
- devPT Landing Page☆14Aug 26, 2023Updated 2 years ago
- Contém todos os programas políticos usados pelo PPT☆11Mar 4, 2024Updated 2 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.
- Repository of the Haskell Blog☆16May 4, 2026Updated last month
- Working through https://leanpub.com/optics-by-example by Chris Penner☆12Sep 9, 2021Updated 4 years ago
- Configuration for clj-kondo, discouraging lazy processing☆13Jan 30, 2026Updated 4 months ago
- Automatic testing of Haskell programs.☆13Jun 10, 2025Updated last year
- A Python implementation of the Refinement Types Tutorial.☆10Feb 4, 2021Updated 5 years ago
- End to end declarative web programming with no JS using htmx and SWI-Prolog☆13Aug 28, 2020Updated 5 years ago
- Kanban view for Obsidian Bases. Display notes as draggable cards organized in columns by any property.☆60Dec 20, 2025Updated 5 months ago
- Software implementation of the Posit floating point format☆30Mar 22, 2026Updated 2 months ago
- A lightweight wrapper written in Kotlin for Discord API using Arrow☆11Oct 23, 2021Updated 4 years 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.
- Create a PDF out of your current buffer, exactly as you see it!☆63May 9, 2026Updated last month
- Show Images in Your Brick TUI Using w3mimgdisplay☆15Jul 31, 2021Updated 4 years ago
- O Tal Canal é uma rede social de comunidades onde os portugueses podem falar sobre os seus interesses e discutir apaixonadamente as suas …☆10Jul 1, 2023Updated 2 years ago
- A compiler that translates a form of lambda calculus to C☆12Apr 21, 2024Updated 2 years ago
- The official interpreter for the Jeopardy language☆16Dec 6, 2022Updated 3 years ago
- Search engine service for public contracts in Portugal☆66Mar 28, 2026Updated 2 months ago
- Minimal dependency coin address from xpub generator for python☆13Dec 26, 2022Updated 3 years ago
- A fluent Kotlin DSL for Mojang's brigadier command library☆13Mar 8, 2021Updated 5 years ago
- List of iTunes Country codes used for iTunes Store, Search API and RSS Feed. A GitHub Action runs daily and publishes detected changes au…☆19Apr 29, 2026Updated last month
- 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.
- Web based Typst editor using WASM☆23Oct 26, 2023Updated 2 years ago
- An attempt at a game in Haskell in the form of a short demo. It uses an ECS library called Apecs along with a wrapper for SDL2.☆15Sep 11, 2025Updated 9 months ago
- A Markdown to HTML compiler written in Haskell.☆17Apr 15, 2024Updated 2 years ago
- A serverless email sender API built on the top of SvelteKit and Gmail SMTP Server☆14Oct 28, 2024Updated last year
- AeroGlass | Windows 11 macOS theme☆20Mar 25, 2025Updated last year
- proof-of-concept Strudel mode for Emacs☆17Oct 27, 2025Updated 7 months ago
- Finished Book of Monads by Alejandro Serrano-Mena☆27May 1, 2020Updated 6 years ago
- coverage driven random testing framework☆24Nov 5, 2024Updated last year
- IntelliSense for Alpine.js☆19Jun 15, 2022Updated 3 years ago
- 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.
- Best practices on how to be efficient with Haskell in production☆113Dec 7, 2025Updated 6 months ago
- Free and open-source bulk image resizer and converter software☆12Mar 30, 2025Updated last year
- A simple dependently typed language based on the Calculus of Constructions.☆19Jul 31, 2020Updated 5 years ago
- Bullet is a minecraft server built from the ground up, runs as fast as a bullet!☆18Apr 29, 2026Updated last month
- Trying out advent of code stuff. Plz no copy pasta☆30Dec 1, 2025Updated 6 months ago
- Functional Geometry in Prolog☆18May 17, 2020Updated 6 years ago
- Stuff of my PhD I want to share publicly: all code, texts of my papers, research-notes & research-diary☆31Nov 20, 2020Updated 5 years ago