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
High performance, concurrent functional programming abstractions
starred-repo
haskell
filesystem
unicode
parsers
modular
concurrency
network
logic-programming
reactive-programming
async
arrays
dataflow
folds
frp
loops
non-determinism
pipes
stream-fusion
streaming
unfolds
starred-composewell-repo
Updated 2024-10-03 17:49:24 +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
⏩ 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
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
Purely-functional, coordinate-free linear algebra
Updated 2024-08-02 18:50:21 +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
A statically typed linear functional language with graded modal types for fine-grained program reasoning
Updated 2024-05-08 15:06:04 +03:00
High performance, concurrent functional programming abstractions
Updated 2024-01-26 19:51:04 +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
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
starred-repo
haskell
functional-programming
monads
algebraic-data-types
anonymous-functions
declarative-programming
explicit-side-effects
first-class-functions
foldable
folding
function-composition
functor
higher-order-functions
lazy-evaluation
list-comprehension
mapping
partial-application
pattern-matching
polymorphic-types
type-classes
starred-thma-repo
Updated 2023-12-15 11:29:56 +03:00
Compiler for Elm, a functional language for reliable webapps.
Updated 2023-11-01 18:15:26 +03:00
📜 Haskell course info, plan, video lectures, slides
starred-repo
haskell
hacktoberfest
functional-programming
learning
beginner-friendly
course
hacktoberfest2022
mentorship
starred-haskell-beginners-2022-repo
Updated 2023-07-09 17:01:04 +03:00
Applied Functional Programming Course - Move from exercises to a working app!
Updated 2023-05-29 03:38:31 +03:00
GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
starred-repo
haskell
functional-programming
compiler
starred-grin-compiler-repo
data-flow-analysis
llvm
optimisation
Updated 2023-04-28 17:15:23 +03:00
Functional reactive web and mobile applications, with batteries included (fork).
Updated 2023-03-12 18:29:56 +03:00
Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying values to describe interactive systems as pure functions. Just like other pure functional code, functional reactive code
Updated 2022-12-22 00:43:07 +03:00