harryprayiv
Follow
Lists (6)
Cardano Ecosystem
A curated list of excellent work being done by parties other than IOHK/IOG on Cardano and the Plutus functional programming language.Cardano Smart Contracts
A List of Viable Technologies in the Cardano EcosystemHaskell with Flakes
nix-configs.Cardano
Helpful cardano-related nix-configs.Purescript with Nix
Various projects that use the power of Nix to target Purescript.Useful Purescript
Stars
ShellCheck, a static analysis tool for shell scripts
A strongly-typed language that compiles to JavaScript
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
A friendly programming language from the future
🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
A Dependently Typed Functional Programming Language
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
The core component that is used to participate in a Cardano decentralised blockchain.
A RESTful Haskell web framework built on WAI.
A declarative Unix terminal UI library written in Haskell
The Plutus language implementation and tools
This repository hosts the lectures of the Plutus Pioneers Program. This program is a training course that the IOG Education Team provides to recruit and train software developers in Plutus, the nat…
📜 Haskell course info, plan, video lectures, slides
A wayland compositor based on ideas from and inspired by xmonad
A stream-based runtime-verification framework for generating hard real-time C code.
Hackage-Server: A Haskell Package Repository
Efficient Haskell Arrays featuring Parallel computation
Squeal, a deep embedding of SQL in Haskell
Examples of Dependently-typed programs in Haskell
An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.
A component that follows the Cardano chain and stores blocks and transactions in PostgreSQL
Nix backend for PureScript. Transpile PureScript code to Nix.
Specifications of network protocols and implementations of components running these protocols which support a family of Ouroboros Consesus protocols; the diffusion layer of the Cardano Node.
Implementation of the Hydra Head protocol
⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.