- 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
Sort by: Recently starred
Color transformations using tetrahedral math.
tridimensional color transformation in CIE XYZ inspired by Steve Yedlin
install nixos everywhere via ssh [maintainer=@numtide]
Nutomic / dear-github-2.0
Forked from drop-ice/dear-github-2.0📨 An open letter to GitHub from the maintainers of open source projects
Conduit-based parsing and serialization for newline delimited JSON
a minimal dependently typed language with equality resolving at runtime
A curated list of Wayland code and resources.
A visualization software for live events like concerts and club gigs with a node based workflow.
The Open Lighting Architecture - The Travel Adaptor for the Lighting Industry
A mini underwater experienced I built for the Swift Student Challenge 2024, selected as a Distinguished Winner.
Off-chain code to interact with Genius Yield DEX contracts
carnotweat / idris2-pkgs
Forked from claymager/idris2-pkgsAn unofficial Idris2 package repository for Nix
Comma runs software without installing it. [maintainers=@Artturin,@burke,@DavHau]
Hackernews Userscript wirtten in Rust WASM featuring regex-based filtering and softhide
Scheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell).
Certification as a service for the Cardano dApps platform
🌌 Open Source AI for large scale open ended feedback
cardano-serialization-lib with custom garbage collector for WASM
Community curated list of companies that use Purescript
A template repository demonstrating how to use a rust library as a dependency in haskell
Rust project template with Nix (Flakes) and VSCode support