- 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: Rust
Sort by: Most stars
Empowering everyone to build reliable and efficient software.
A cross-platform, OpenGL terminal emulator.
Servo, the embeddable, independent, memory-safe, modular, parallel web rendering engine
🐀 A link aggregator and forum for the fediverse
Cross-platform AirDrop. File transfer between Android, iOS, Linux, macOS, and Windows over ad hoc WiFi. No network infrastructure required, just two devices with WiFi chips in close range.
Comma runs software without installing it. [maintainers=@Artturin,@burke,@DavHau]
Firmware, hardware and documentation for my autonomous quad copter project
Stake-based threshold multi-signatures protocol
A tool that helps you to turn in one command a Rust crate into a Haskell Cabal library!
A visualization software for live events like concerts and club gigs with a node based workflow.
A collection of all the content from NixCon Paris 2022 and beyond
⚙️ Core Catalyst Governance Engine and utilities.
a terminal user interface for lemmy
A 1:1 implementation of the ArtNet protocol, in Rust
Hackernews Userscript wirtten in Rust WASM featuring regex-based filtering and softhide
greenhat / wasmtime
Forked from bytecodealliance/wasmtimeA fast and secure runtime for WebAssembly