Grasshopper's Monadic Parser
☆12Apr 7, 2026Updated 4 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 2 years ago
- 🌽 Core types and functions that power the Haskell `co-log` implementation☆18Aug 3, 2026Updated last week
- 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 Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Repository of the Haskell Blog☆19Aug 4, 2026Updated last week
- Working through https://leanpub.com/optics-by-example by Chris Penner☆12Sep 9, 2021Updated 4 years ago
- Configuration for clj-kondo, discouraging lazy processing☆15Jan 30, 2026Updated 6 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
- 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 5 years ago
- 📜 Up-to-date Rust crate for easy and intuitive working with NBT data.☆15Jul 14, 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.
- 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 3 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
- 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
- Search engine service for public contracts in Portugal☆68Jul 30, 2026Updated 2 weeks ago
- Web based Typst editor using WASM☆23Oct 26, 2023Updated 2 years ago
- A Markdown to HTML compiler written in Haskell.☆17Apr 15, 2024Updated 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 11 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A serverless email sender API built on the top of SvelteKit and Gmail SMTP Server☆15Oct 28, 2024Updated last year
- List of iTunes Country codes used for iTunes Store, Search API and RSS Feed. A GitHub Action runs daily and publishes detected changes au…☆18Apr 29, 2026Updated 3 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
- Library of simd functions☆19Jun 13, 2026Updated 2 months ago
- 🦀 Logto Rust Unofficial SDKs☆11Dec 28, 2023Updated 2 years ago
- IntelliSense for Alpine.js☆19Jun 15, 2022Updated 4 years ago
- Best practices on how to be efficient with Haskell in production☆113Dec 7, 2025Updated 8 months ago
- Bullet is a minecraft server built from the ground up, runs as fast as a bullet!☆18Apr 29, 2026Updated 3 months 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.
- 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 6 years ago
- A stack-based VM with sets — a Prolog-compiled, s-expression-flavored language with static types, effect inference and basic optimization…☆20Updated this week
- Trying out advent of code stuff. Plz no copy pasta☆30Dec 1, 2025Updated 8 months 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
- Functional Geometry in Prolog☆18May 17, 2020Updated 6 years ago
- Proof-of-concept Typst webapp alternative☆22May 7, 2024Updated 2 years ago