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-07-04 11:00:22 +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-07-04 00:22:51 +03:00
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
Updated 2024-07-03 21:54:30 +03:00
Compatibility checker for OpenAPI
Updated 2024-07-03 01:39:08 +03:00
Hey! Hey! Can u rel8?
Updated 2024-07-02 18:41:09 +03:00
🌿 Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.
Updated 2024-06-30 03:27:42 +03:00
Validity and validity-based testing
starred-repo
starred-norfairking-repo
explicit-invariants
invalid-values
invariants
sanity-test
validity
Updated 2024-06-03 07:54:40 +03:00
Tie allows generation of Haskell server stubs from OpenAPI (v 3.x) specifications.
Updated 2024-05-28 16:44:32 +03:00
Decidable propositions
Updated 2024-05-17 18:32:11 +03:00
🌳 Crossing the road between Haskell and Elm
Updated 2024-05-16 09:24:53 +03:00
Add ACID guarantees to any serializable Haskell data structure
Updated 2024-04-22 17:42:47 +03:00
A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D geometry; 2D gcode generation...
Updated 2024-04-20 00:31:14 +03:00
A Terminal User Interface for the Glasgow Haskell Compiler Interactive Mode
Updated 2024-03-18 08:10:27 +03:00
Kubernetes self-service portal
haskell
ci
ci-cd
continuous-delivery
devops
ghcjs
helm
k8s
kubernetes
qa
rust
self-service
self-service-portal
Updated 2024-02-19 14:39:21 +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
A simple library for reporting compiler/interpreter errors
starred-repo
haskell
library
unicode
ascii
compiler-errors
error-reporting
interpreter-errors
starred-mesabloo-repo
Updated 2023-10-19 11:01:14 +03:00
Applied Functional Programming Course - Move from exercises to a working app!
Updated 2023-05-29 03:38:31 +03:00
Analytic sampler framework for algebraic data types
Updated 2023-05-12 19:36:35 +03:00