Generic unification-based type inference library
☆25May 20, 2015Updated 10 years ago
Alternatives and similar repositories for hs-inferno
Users that are interested in hs-inferno are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆29Sep 14, 2015Updated 10 years ago
- Decision procedures for Presburger arithmetic in Haskell☆30Mar 29, 2025Updated last year
- A PPX syntax extension for the OCaml programming language. Adds a compile-time "if" statement.☆21Nov 20, 2020Updated 5 years ago
- Generic functions for single-sorted first-order structural unification☆45Mar 1, 2026Updated 3 weeks ago
- Choice operator in OCaml, providing a backtracking monad☆26Jan 26, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…☆27Jun 18, 2022Updated 3 years ago
- A streaming cross-cat inference engine☆49Dec 19, 2014Updated 11 years ago
- ☆11May 7, 2023Updated 2 years ago
- pre-release.☆12Jul 15, 2015Updated 10 years ago
- Clojure-style transients for Haskell☆35Jun 27, 2022Updated 3 years ago
- This repository has been moved to https://gitlab.com/twittner/cql-io☆13Feb 20, 2016Updated 10 years ago
- Machine-checked Agda formalization for the ILC project☆15Apr 6, 2018Updated 7 years ago
- Deriving morphisms for OCaml data structures☆10Aug 28, 2019Updated 6 years ago
- ☆14Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- machine fusion☆16Oct 13, 2018Updated 7 years ago
- OCaml client access to Amazon services, such as S3, EC2, FPS, etc.☆14Sep 20, 2016Updated 9 years ago
- mass-contact text/SMS distribution tool☆12Apr 28, 2025Updated 11 months ago
- Tiny ML interpreter☆16Feb 16, 2014Updated 12 years ago
- Lets you create interactive shells in OCaml.☆10Sep 13, 2016Updated 9 years ago
- ☆10Mar 7, 2016Updated 10 years ago
- maps are everything.☆10Jul 3, 2025Updated 8 months ago
- A WIP compiler for a functional language. Very incomplete!☆16Nov 6, 2021Updated 4 years ago
- A simple ML dialect☆10Jan 2, 2017Updated 9 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.
- x86-64 assembly as a Haskell EDSL☆36Sep 16, 2010Updated 15 years ago
- A library for developing languages with scoped binders (like forall or lambda).☆28Aug 21, 2018Updated 7 years ago
- Modern cryptography primitives implemented in Scratch, via Boiga☆13Jul 16, 2022Updated 3 years ago
- experimenting with STM-backed read-copy-update in Haskell☆18Oct 19, 2025Updated 5 months ago
- ☆11Jul 1, 2020Updated 5 years ago
- An eclectic set of Clojure utilities that I've found useful enough to keep around.☆18Mar 10, 2026Updated 2 weeks ago
- Efficient MeTTa language implementation in Prolog.☆21Updated this week
- Valve Texture Format library for Linux/Gnome - This is a GdkPixbuf image loader, which lets you browse VTF files in Nautilus or open them…☆14Oct 27, 2015Updated 10 years ago
- fast utf-8 character sets☆14Mar 3, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- The original parsing with derivatives haskell implementation☆12Aug 25, 2015Updated 10 years ago
- Alternative Core language for GHC plugins☆39Feb 15, 2016Updated 10 years ago
- Functional Vector Graphics☆17Jun 19, 2017Updated 8 years ago
- A library to parse and generate the graphviz dot langauge.☆10Feb 13, 2019Updated 7 years ago
- Incorporates external dependencies into HTML file using data: URI scheme☆21Nov 17, 2011Updated 14 years ago
- Software That Fits You☆63Mar 21, 2026Updated last week
- Protohackers is a server programming challenge. Here is an implementation using OCaml 5 and the effects-based IO library Eio☆16Feb 10, 2023Updated 3 years ago