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-10-04 20:09:31 +03:00
🌀 Safe, performant, user-friendly and lightweight Haskell standard library
starred-repo
haskell
starred-kowainik-repo
alternative-prelude
prelude
safe
standard-library
user-friendly
Updated 2024-09-02 11:36:35 +03:00
Type-checked proof that a key exists in a container and can be safely indexed.
Updated 2023-12-21 17:17:41 +03:00
Provides a type-safe encoding of the Rollbar API.
Updated 2023-01-07 22:46:31 +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
Safe conversions between Haskell textual types
Updated 2022-05-03 01:31:23 +03:00
Safe conversions between Haskell textual types
Updated 2022-05-03 01:31:23 +03:00
🚦 A simple type-safe routing framework for reflex-dom applications without any TemplateHaskell
Updated 2021-12-20 00:05:43 +03:00
type-safe JSON spec and validation tool
Updated 2021-01-15 14:03:45 +03:00
Write type-safe GraphQL services in Haskell
Updated 2019-11-23 19:39:31 +03:00
Type safe interface for working in subcategories of Hask
Updated 2019-05-16 04:56:04 +03:00
type-safe JSON spec and validation tool
Updated 2019-05-08 15:21:10 +03:00
Type-safe library for generating haskell source code
Updated 2018-01-28 15:40:22 +03:00
Safe, programmable, speculative evaluation for Haskell
Updated 2016-01-17 08:43:03 +03:00