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 friendly programming language from the future
Updated 2024-10-03 19:01:03 +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
Publishes curated news about the Haskell programming language.
Updated 2024-10-03 12:27:01 +03:00
Cryptol: The Language of Cryptography
Updated 2024-10-02 19:32:29 +03:00
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
Updated 2024-10-02 15:28:14 +03:00
⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.
starred-repo
haskell
python
functional-programming
command-line
programming-language
ai
concurrency
developer-experience
mobile
beginner-friendly
domain-driven-design
event-sourcing
starred-neohaskell-repo
Updated 2024-09-29 17:42:51 +03:00
Compiler for the Gren programming language
Updated 2024-09-27 09:53:22 +03:00
lamdu - towards the next generation IDE
programming-language
integrated-development-environment
programmer-tool
projectional-editor
structure-editor
Updated 2024-09-06 16:21:00 +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
Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.
Updated 2024-08-22 22:19:56 +03:00
Haskell library for the Microsoft Language Server Protocol
Updated 2024-07-29 20:19:58 +03:00
Embedded language for high-performance array computations
Updated 2024-07-09 23:56:19 +03:00
Parsing, analyzing, and comparing source code across many languages
Updated 2024-05-13 22:31:47 +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
Implementation of the Delta Language
Updated 2024-03-18 21:42:52 +03:00
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
starred-repo
haskell
category-theory
design-patterns
function-composition
functor
starred-thma-repo
functors
builder-pattern
factory-pattern
functional-languages
gof-patterns
iterator-pattern
monad
monad-transformers
monoids
pattern-language
reader-monad
strategy-pattern
traversable
typeclasses
typeclassopedia
Updated 2024-01-18 02:42:37 +03:00
A Dependently Typed Functional Programming Language
Updated 2024-01-02 23:47:46 +03:00