Template for quickly and easily combining happy and alex
☆48Oct 16, 2015Updated 10 years ago
Alternatives and similar repositories for happy-plus-alex
Users that are interested in happy-plus-alex are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Example of combining Alex (lexical parser) and Happy (syntax parser)☆30Aug 30, 2024Updated last year
- Language tools for manipulating OCaml programs in Haskell (parser, pretty-printer, ...)☆14Oct 17, 2021Updated 4 years ago
- An opionated library to work with AJAX and JSON☆17Aug 24, 2023Updated 2 years ago
- A FUSE filesystem, written in Haskell, that allows one to mount NAR (Nix archive) files and expose them as a virtual Nix store.☆30Apr 17, 2016Updated 9 years ago
- A RWS like monad without the slow writer stuff☆12Jun 17, 2023Updated 2 years 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.
- F-omega with interval kinds mechanized in Agda☆14Aug 1, 2024Updated last year
- Thesis☆38Apr 4, 2018Updated 7 years ago
- Fast parallel calculations in pure mathematics, e.g. Gröbner Bases☆16Aug 19, 2024Updated last year
- ☆12Jun 30, 2022Updated 3 years ago
- Dynamic Leader Election behaviour for Erlang☆23Nov 23, 2011Updated 14 years ago
- GHCJS + Miso port of the Vue.js examples.☆19Nov 25, 2018Updated 7 years ago
- Relational Scheme interpreter, written in miniKanren, with Scheme pattern matcher☆11Mar 17, 2015Updated 11 years ago
- Plucky errors and exceptions☆20Nov 7, 2020Updated 5 years ago
- Haskell bindings for the pcap library, which provides a low level interface to packet capture systems.☆27Mar 30, 2020Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Type-safe library for generating haskell source code☆28Jan 28, 2018Updated 8 years ago
- Pretty printer for Nix .drv files.☆15Mar 30, 2018Updated 8 years ago
- end to end clojure+immutant/clojurescript+om.next todo app example☆11Feb 19, 2016Updated 10 years ago
- ☆11Aug 1, 2016Updated 9 years ago
- Efficient and correct pagination!☆16Mar 31, 2024Updated last year
- Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.☆23Feb 17, 2015Updated 11 years ago
- Embed Ruby in your Haskell program.☆23Apr 4, 2024Updated last year
- typing haskell in haskell☆18Sep 22, 2022Updated 3 years ago
- compact, human-readable json pretty printing☆14Oct 10, 2023Updated 2 years 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 lexical analyser generator for Haskell☆321Mar 22, 2026Updated last week
- Tagged Haskell learning resources index☆21Aug 11, 2016Updated 9 years ago
- Helps you prepare the timesheet of the tasks you did at work☆14Mar 1, 2020Updated 6 years ago
- Finitely represented /total/ maps☆17Nov 23, 2019Updated 6 years ago
- Pirate-themed tower defense game for the Feb 2018 http://elmgames.club/ challenge☆14Feb 28, 2018Updated 8 years ago
- sliding fast fourier transform using haskell streaming☆13Feb 19, 2019Updated 7 years ago
- QuickLift frontend in PureScript☆15Mar 25, 2016Updated 10 years ago
- A whirlwind tour of some Haskell design decisions☆22Nov 11, 2025Updated 4 months ago
- half-precision floating-point☆17Mar 2, 2026Updated 3 weeks ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- A simple Erlang Template Engine☆48May 7, 2012Updated 13 years ago
- GHCJS FFI bindings to the Electron API (WIP).☆10May 21, 2017Updated 8 years ago
- Haskell library for non-deterministic pattern matching☆17Dec 21, 2025Updated 3 months ago
- Gonthier's formal proof of the 4-color theorem, in Coq.☆11Dec 29, 2015Updated 10 years ago
- How do you do that recursive GADT thing again?☆31Mar 15, 2024Updated 2 years ago
- An implementation of the Haskell ByteString library using the Fiat system from MIT☆34Apr 4, 2022Updated 3 years ago
- Monitor nginx access logs in real time.☆25Dec 9, 2019Updated 6 years ago