Repositories Users Organizations
Filter
Sort
anoma/ juvix
Haskell 1 0
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.
starred-repo haskell dependent-types juvix linear-types starred-anoma-repo
Updated 2024-11-24 07:06:34 +03:00
granule-project/ granule
Haskell 1 0
A statically typed linear functional language with graded modal types for fine-grained program reasoning
starred-repo starred-granule-project-repo
Updated 2024-11-22 21:29:37 +03:00
Kindelia/ Kind
Haskell 1 0
A modern proof language
starred-repo functional-programming dependent-types formality lambda-calculus moonad proof-language proof-languages theorem-prover type-theory starred-kindelia-repo
Updated 2024-11-22 14:28:00 +03:00
Kindelia/ Kind2
Haskell 1 0
A next-gen functional language
starred-repo functional-programming dependent-types lambda-calculus type-theory formality moonad proof-language proof-languages theorem-prover starred-kindelia-repo
Updated 2024-11-22 14:28:00 +03:00
HigherOrderCO/ Kind
Haskell 1 0
A next-gen functional language
starred-repo functional-programming dependent-types lambda-calculus type-theory formality moonad proof-language proof-languages theorem-prover starred-higherorderco-repo
Updated 2024-11-22 14:28:00 +03:00
typeable/ refined-containers
Haskell 0 0
Type-checked proof that a key exists in a container and can be safely indexed.
Updated 2024-11-18 07:13:40 +03:00
cdepillabout/ password
Haskell 1 0
datatypes and functions for easily working with passwords in Haskell
starred-repo haskell hacktoberfest password starred-cdepillabout-repo
Updated 2024-11-10 11:16:53 +03:00
tfausak/ witch
Haskell 1 0
🧙‍♀️ Convert values from one type into another.
starred-repo haskell starred-tfausak-repo
Updated 2024-11-08 03:46:04 +03:00
andrewthad/ colonnade
Haskell 1 0
Generic types and functions for encoding and decoding columns
starred-repo haskell starred-andrewthad-repo
Updated 2024-11-04 16:37:45 +03:00
byteverse/ colonnade
Haskell 1 0
Generic types and functions for encoding and decoding columns
starred-repo haskell starred-byteverse-repo
Updated 2024-11-04 16:37:45 +03:00
typeable/ minio-hs
Haskell 0 0
MinIO Client SDK for Haskell
forked-repo forked-typeable-repo
Updated 2024-10-23 13:54:01 +03:00
typeable/ pagerduty
Haskell 0 0
Haskell PagerDuty API Client
forked-repo forked-typeable-repo
Updated 2024-10-07 13:47:39 +03:00
typeable/ wai
Haskell 0 0
Haskell Web Application Interface
forked-repo forked-typeable-repo
Updated 2024-09-21 14:04:59 +03:00
carp-lang/ Carp
Haskell 1 0
A statically typed lisp, without a GC, for real-time applications.
starred-repo functional-programming language repl functional gamedev game-development games lisp static typed starred-carp-lang-repo
Updated 2024-09-04 00:06:26 +03:00
Lysxia/ first-class-families
Haskell 1 0
First-class type families
starred-repo haskell dependent-types starred-lysxia-repo types
Updated 2024-08-20 19:13:41 +03:00
i-am-tom/ higgledy
Haskell 1 0
Higher-kinded data via generics
starred-repo ghc generics higher-kinded-types starred-i-am-tom-repo
Updated 2024-08-20 18:15:23 +03:00
higherkindness/ mu-haskell
Haskell 1 0
Mu (μ) is a purely functional framework for building micro services.
starred-repo haskell hacktoberfest type-level avro defines-schemas graphql grpc monads mu mu-graphql mu-haskell protocol-buffers rpc type-level-programming starred-higherkindness-repo
Updated 2024-08-02 02:25:18 +03:00
andrewthad/ country
Haskell 1 0
Haskell data types and functions for countries
starred-repo starred-andrewthad-repo
Updated 2024-06-24 18:33:43 +03:00
byteverse/ country
Haskell 1 0
Haskell data types and functions for countries
starred-repo starred-byteverse-repo
Updated 2024-06-24 18:33:43 +03:00
kcsongor/ generic-lens
Haskell 1 0
Generically derive traversals, lenses, and prisms.
starred-repo generics lenses type-level-programming optics traversals starred-kcsongor-repo
Updated 2024-04-04 17:10:05 +03:00