Fuse is a statically typed, purely functional language with higher-kinded types and ad-hoc polymorphism. It compiles to the GRIN whole-program optimizer, producing LLVM-generated native code.
β18Jul 26, 2026Updated this week
Alternatives and similar repositories for fuse
Users that are interested in fuse are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- β26Nov 11, 2025Updated 8 months ago
- π A component library based on ShadCN and Tailwind CSS. Built with Basecoat CSS.β17Jun 27, 2026Updated last month
- Formal specification of the Haskell Language Reportβ32Mar 2, 2026Updated 4 months ago
- Type level string parser combinatorsβ20Jul 3, 2026Updated 3 weeks ago
- Experiments with effect systemsβ12Apr 18, 2016Updated 10 years ago
- Deploy on Railway without the complexity - Free Credits Offer β’ AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Open-Source Competitive Programming Atlas of Algorithms and Data Structuresβ12Feb 21, 2025Updated last year
- β24Jun 22, 2026Updated last month
- A pure Haskell (no libpq) postgresql driver that draws inspiration from postgresql-simple, has streaming built into its core, speaks postβ¦β23Updated this week
- A Docker client that hopefully won't be a pain in the butt.β14Jul 19, 2024Updated 2 years ago
- β17Sep 12, 2016Updated 9 years ago
- Kodovi sa fakulteta koji nekome mogu da budu korisniβ10Jun 16, 2018Updated 8 years ago
- β26Nov 18, 2022Updated 3 years ago
- β17Apr 4, 2024Updated 2 years ago
- Python Template Repositoryβ19Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer β’ AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Example Play Scala application with OpenTelemetry instrumentation and detailed walkthroughβ17May 14, 2025Updated last year
- A formalization of System FΟ in Agdaβ20Dec 23, 2025Updated 7 months ago
- β16Apr 19, 2022Updated 4 years ago
- Write Mac apps entirely in Haskellβ53Feb 13, 2026Updated 5 months ago
- Facilities for generating dependently-typed dataβ31Jul 8, 2026Updated 3 weeks ago
- Writing Parsers and Cutting Corners or How I Learned to Stop Worrying and Love ASCIIβ21Nov 25, 2018Updated 7 years ago
- Repository of the Haskell Blogβ19Updated this week
- [WIP] 8086 IBM PC emulatorβ27May 2, 2026Updated 2 months ago
- Experiments with composable lock-free concurrencyβ23Updated this week
- Managed hosting for WordPress and PHP on Cloudways β’ AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A formatter for TLA+ specsβ15Jul 21, 2026Updated last week
- CLI to run functions as HTTP services using SNUnitβ23Jun 2, 2026Updated last month
- A Result type that differentiates between local errors (which can be handled) and fatal errors (which can't)β22May 25, 2022Updated 4 years ago
- Batteries-Included Python 3 CLI Frameworkβ24Updated this week
- An experimental and still heavily in progress Haskell effect system library supporting coroutines and higher order effects.β15Mar 5, 2026Updated 4 months ago
- β11Jun 4, 2021Updated 5 years ago
- Simple Structured loggerβ14Jun 8, 2025Updated last year
- Bring colorful and funny Jumoreski into your workspace!β17Nov 5, 2023Updated 2 years ago
- Choreograph distributed protocols in Quint.β15Jun 23, 2026Updated last month
- Deploy on Railway without the complexity - Free Credits Offer β’ AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Formal verification agent for design or implementationβ15Nov 18, 2025Updated 8 months ago
- `linear-locks` provides locking primitives that are statically guaranteed to be free of deadlocks.β21Jul 13, 2026Updated 2 weeks ago
- GHC plugin for automatic case splittingβ19May 13, 2026Updated 2 months ago
- agentic skills to write TLA+ specs or TLAPS proofsβ20Jul 11, 2026Updated 2 weeks ago
- Two-Level Type Theoryβ31Dec 13, 2019Updated 6 years ago
- Haskell bindings for DuckDBβ22Apr 24, 2026Updated 3 months ago
- β12Dec 16, 2022Updated 3 years ago