Grasshopper's Monadic Parser
☆12May 20, 2025Updated 10 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☆18Jan 5, 2026Updated 2 months 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
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Repository of the Haskell Blog☆15Jan 26, 2026Updated last month
- Working through https://leanpub.com/optics-by-example by Chris Penner☆11Sep 9, 2021Updated 4 years ago
- Kanban view for Obsidian Bases. Display notes as draggable cards organized in columns by any property.☆42Dec 20, 2025Updated 3 months ago
- Configuration for clj-kondo, discouraging lazy processing☆13Jan 30, 2026Updated last month
- Automatic testing of Haskell programs.☆13Jun 10, 2025Updated 9 months ago
- 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
- A lightweight wrapper written in Kotlin for Discord API using Arrow☆11Oct 23, 2021Updated 4 years ago
- Show Images in Your Brick TUI Using w3mimgdisplay☆15Jul 31, 2021Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- 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 last year
- The official interpreter for the Jeopardy language☆16Dec 6, 2022Updated 3 years ago
- Search engine service for public contracts in Portugal☆64Mar 11, 2026Updated 2 weeks ago
- Minimal dependency coin address from xpub generator for python☆14Dec 26, 2022Updated 3 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…☆19Oct 29, 2025Updated 4 months ago
- A fluent Kotlin DSL for Mojang's brigadier command library☆13Mar 8, 2021Updated 5 years ago
- Web based Typst editor using WASM☆22Oct 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 6 months ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- A Markdown to HTML compiler written in Haskell.☆17Apr 15, 2024Updated last year
- 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☆19Mar 25, 2025Updated last year
- proof-of-concept Strudel mode for Emacs☆16Oct 27, 2025Updated 4 months ago
- Finished Book of Monads by Alejandro Serrano-Mena☆27May 1, 2020Updated 5 years ago
- coverage driven random testing framework☆24Nov 5, 2024Updated last year
- IntelliSense for Alpine.js☆18Jun 15, 2022Updated 3 years ago
- Best practices on how to be efficient with Haskell in production☆113Dec 7, 2025Updated 3 months ago
- Free and open-source bulk image resizer and converter software☆12Mar 30, 2025Updated 11 months ago
- 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 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!☆18Oct 14, 2025Updated 5 months ago
- Trying out advent of code stuff. Plz no copy pasta☆31Dec 1, 2025Updated 3 months ago
- Functional Geometry in Prolog☆18May 17, 2020Updated 5 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
- Proof-of-concept Typst webapp alternative☆22May 7, 2024Updated last year
- A very simple java library to interact with Claude's API☆13Mar 16, 2025Updated last year