SimpleX - the first messaging platform operating without user identifiers of any kind - 100% private by design! iOS and Android apps are released 📱!
starred-repo
haskell
privacy
encryption
security
chat
double-ratchet
e2ee
messaging
protocol
starred-simplex-chat-repo
Updated 2024-11-21 23:16:26 +03:00
An easy to use, performant extensible effects library with seamless integration with the existing Haskell ecosystem.
Updated 2024-11-21 22:51:32 +03:00
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-11-21 21:52:23 +03:00
A reliable, user-friendly Plain Text Accounting tool with command line, terminal and web interfaces.
starred-repo
haskell
hacktoberfest
console-application
command-line-tool
tui
accounting
bounties
bounty
finances
haskell-application
hledger
ledger
library
plain-text
plain-text-accounting
plaintext
plaintext-accounting
sponsor
stackage-lts
web-application
starred-simonmichael-repo
Updated 2024-11-21 20:57:26 +03:00
🌳 Crossing the road between Haskell and Elm
Updated 2024-11-21 13:50:20 +03:00
Get your IO right on the first try
Updated 2024-11-18 05:04:04 +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-11-18 01:36:35 +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-11-17 04:32:18 +03:00
Reimplementation of a subset of Cabal
Updated 2024-11-16 23:57:02 +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-11-15 18:34:52 +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-11-15 18:34:52 +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-11-15 18:34:52 +03:00
A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!
Updated 2024-11-15 05:03:51 +03:00
Yet another test framework for Haskell.
Updated 2024-11-14 14:03:01 +03:00
Deploy tool for Haskell applications, like Capistrano for Rails
starred-repo
haskell
hacktoberfest
deployment
capistrano
continuous-deployment
haskell-applications
starred-stackbuilders-repo
Updated 2024-11-12 16:17:56 +03:00
Add ACID guarantees to any serializable Haskell data structure
Updated 2024-11-11 21:19:11 +03:00
datatypes and functions for easily working with passwords in Haskell
Updated 2024-11-10 11:16:53 +03:00
A remote virtual DOM library for Haskell
Updated 2024-11-09 02:59:03 +03:00
Haskell implementation of the nix store API
Updated 2024-11-05 21:31:15 +03:00
A re-implementation of weeder using HIE files
Updated 2024-11-05 15:12:20 +03:00