Juvix empowers developers to write code in a high-level, functional language, compile it to gas-efficient output VM instructions, and formally verify the safety of their contracts prior to deployment and execution.
Updated 2024-11-21 19:39:52 +03:00
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
Updated 2024-11-21 14:09:00 +03:00
A Terminal User Interface for the Glasgow Haskell Compiler Interactive Mode
Updated 2024-11-17 06:30:13 +03:00
🌿 Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.
Updated 2024-11-17 03:33:35 +03:00
Add ACID guarantees to any serializable Haskell data structure
Updated 2024-11-11 21:19:11 +03:00
Tie allows generation of Haskell server stubs from OpenAPI (v 3.x) specifications.
Updated 2024-10-29 00:36:58 +03:00
Hey! Hey! Can u rel8?
Updated 2024-10-22 14:13:07 +03:00
Compatibility checker for OpenAPI
Updated 2024-09-12 16:04:12 +03:00
Decidable propositions
Updated 2024-05-17 18:32:11 +03:00
🌳 Crossing the road between Haskell and Elm
Updated 2024-05-16 09:24:53 +03:00
In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distinguishing features and detailing them with working code examples. The presentation aims to be self-contained and does no
Updated 2023-12-15 11:29:56 +03:00
A simple library for reporting compiler/interpreter errors
Updated 2023-10-19 11:01:14 +03:00
Applied Functional Programming Course - Move from exercises to a working app!
Updated 2023-05-29 03:38:31 +03:00
Analytic sampler framework for algebraic data types
Updated 2023-05-12 19:36:35 +03:00
📊 Haskell dependencies build times profiler
Updated 2023-01-11 01:11:37 +03:00
Decimal digits
Updated 2022-12-07 13:21:20 +03:00
Haskell library for type-safe and lossless encoding and manipulation of world currencies and precious metals
Updated 2022-11-30 12:11:54 +03:00