Haskell irc library
☆20Dec 9, 2023Updated 2 years ago
Alternatives and similar repositories for hsirc
Users that are interested in hsirc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An attempt to formalize unix cat in fiat☆11May 28, 2017Updated 9 years ago
- A compiler for a strongly typed, haskell-like functional language☆22Feb 1, 2018Updated 8 years ago
- A server for running Fay examples.☆12Nov 7, 2013Updated 12 years ago
- A simple sqlite3 library for Haskell☆21Aug 27, 2018Updated 8 years ago
- An llvm pretty printer inspired by the haskell llvm binding☆33Oct 22, 2026Updated last week
- 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.
- pec embedded compiler☆11Apr 3, 2012Updated 14 years ago
- A library for functional lenses in Haskell☆14Mar 27, 2025Updated last year
- Gidl: an Interface Description Language☆11Aug 11, 2017Updated 9 years ago
- Haskell bindings to the portaudio library.☆10Oct 8, 2014Updated 12 years ago
- A type-checker for Haskell with integer constraints☆41Feb 21, 2015Updated 11 years ago
- An Introduction to Various Math Topics☆10Jan 1, 2015Updated 11 years ago
- [Deprecated] A "PostgreSQL" driver for the "hasql" library☆19Oct 27, 2018Updated 8 years ago
- Haskell library to interface with TUN/TAP drivers.☆13Apr 22, 2017Updated 9 years ago
- Utility for creating .hsc files from C API header files☆25Jul 22, 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.
- A monad transformer library for Haskell☆29Sep 2, 2024Updated 2 years ago
- A simple library for defining ADTs☆15Oct 10, 2023Updated 3 years ago
- ☆25Jun 10, 2023Updated 3 years ago
- Python library to parse Apertium stream format☆13Mar 30, 2026Updated 7 months ago
- Formal verification of SecVisor, a secure hypervisor☆14Apr 23, 2013Updated 13 years ago
- Haskell API to elasticsearch's REST interface☆12Jan 8, 2014Updated 12 years ago
- Port of linux kernel jump labels to userspace. Uses GCC goto asm extension.☆19Aug 14, 2014Updated 12 years ago
- Haskell implementations of various ML algorithms.☆59May 29, 2014Updated 12 years ago
- Collection of awesome Ur/Web libraries, components, and projects☆13Dec 11, 2021Updated 4 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Code from my StrangeLoop 2014 Idris presentation.☆13Sep 20, 2014Updated 12 years ago
- Green Card, a foreign function interface pre-processor for Haskell.☆11Apr 14, 2015Updated 11 years ago
- ☆10Sep 20, 2018Updated 8 years ago
- Read ghc-core with style. javascript and CSS style.☆13Jul 4, 2015Updated 11 years ago
- A Haskell implementation of the OpenID 2.0 spec☆19Jun 13, 2017Updated 9 years ago
- a simple, tolerant & efficient HTML/XML parser (with HTML in mind though)☆28Oct 28, 2020Updated 6 years ago
- Slides for presentation at NY Haskell Meetup.☆10Jul 29, 2018Updated 8 years ago
- a language workbench for parsing and transforming curly-brace languages☆43Jun 24, 2016Updated 10 years ago
- ☆11Jan 22, 2015Updated 11 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.
- Vector builder☆16Jan 13, 2026Updated 9 months ago
- Simply typed lambda calculus demo for Lambda Jam 2014☆11Aug 2, 2014Updated 12 years ago
- Code to go along with the blog post "Are Mutable References in Haskell Fast?"☆10Jun 1, 2017Updated 9 years ago
- Haskell libraries for working with the Stripe API☆21Jan 26, 2025Updated last year
- An alternative interface to Opaleye, built around type families☆13Nov 23, 2016Updated 9 years ago
- Haskell reimplementation of Selecta☆16Jul 17, 2019Updated 7 years ago
- dot files (emacs, zsh, w3m, etc)☆11Apr 7, 2022Updated 4 years ago