- Cambridge, MA
Block or Report
Block or report harryprayiv
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseLists (6)
Sort Name ascending (A-Z)
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
Language: Haskell
Sort by: Most stars
ShellCheck, a static analysis tool for shell scripts
A strongly-typed language that compiles to JavaScript
A friendly programming language from the future
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
Cryptographic currency implementing Ouroboros PoS protocol
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.
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…
A RESTful Haskell web framework built on WAI.
DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc
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.