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-03 19:09:22 +03:00
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-10-03 16:53:57 +03:00
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-10-03 16:53:57 +03:00
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-10-03 16:53:57 +03:00
🧙♀️ Convert values from one type into another.
Updated 2024-10-02 05:16:33 +03:00
Haskell Web Application Interface
Updated 2024-09-21 14:04:59 +03:00
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
First-class type families
Updated 2024-08-20 19:13:41 +03:00
Higher-kinded data via generics
Updated 2024-08-20 18:15:23 +03:00
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
datatypes and functions for easily working with passwords in Haskell
Updated 2024-07-07 00:58:39 +03:00
Haskell data types and functions for countries
Updated 2024-06-24 18:33:43 +03:00
Haskell data types and functions for countries
Updated 2024-06-24 18:33:43 +03:00
A statically typed linear functional language with graded modal types for fine-grained program reasoning
Updated 2024-05-08 15:06:04 +03:00
Generically derive traversals, lenses, and prisms.
Updated 2024-04-04 17:10:05 +03:00
😠 Environmentally friendly environment variables
starred-repo
haskell
hackage
generics
environment-variables
envy
system
typeclass
starred-dmjio-repo
Updated 2024-03-28 01:13:16 +03:00
Generic types and functions for encoding and decoding columns
Updated 2024-03-07 05:23:42 +03:00
Generic types and functions for encoding and decoding columns
Updated 2024-03-07 05:23:42 +03:00
Auto-generate a command-line parser for your datatype
Updated 2024-02-02 02:55:53 +03:00
Auto-generate a command-line parser for your datatype
Updated 2024-02-02 02:55:53 +03:00