- 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 Last updated
Useful Purescript
Haskell with Flakes
Cardano Ecosystem
A curated list of excellent work being done by parties other than IOHK/IOG on Cardano and the Plutus functional programming language.Purescript with Nix
Various projects that use the power of Nix to target Purescript.Cardano Smart Contracts
A List of Viable Technologies in the Cardano Ecosystemnix-configs.Cardano
Helpful cardano-related nix-configs.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