Harry Pray IV (harryprayiv)

harryprayiv

Geek Repo

Location:Cambridge, MA

Github PK Tool:Github PK Tool

Harry Pray IV's starred repositories

ChezScheme

Chez Scheme

Language:SchemeLicense:Apache-2.0Stargazers:6911Issues:358Issues:510

flox

Developer environments you can take with you

Language:RustLicense:GPL-2.0Stargazers:2223Issues:17Issues:723

awesome-wayland

A curated list of Wayland code and resources.

nixos-anywhere

install nixos everywhere via ssh [maintainer=@numtide]

Language:ShellLicense:MITStargazers:1248Issues:15Issues:111

comma

Comma runs software without installing it. [maintainers=@Artturin,@burke,@DavHau]

lemmy-ui

The official web app for lemmy.

Language:CSSLicense:AGPL-3.0Stargazers:867Issues:17Issues:1469

polis

:milky_way: Open Source AI for large scale open ended feedback

Language:JavaScriptLicense:AGPL-3.0Stargazers:723Issues:27Issues:483

ola

The Open Lighting Architecture - The Travel Adaptor for the Lighting Industry

Language:C++License:NOASSERTIONStargazers:634Issues:60Issues:757

MicroHs

Haskell implemented with combinators

Language:HaskellLicense:NOASSERTIONStargazers:284Issues:10Issues:19

rust-nix-template

Rust project template with Nix (Flakes) and VSCode support

Language:NixLicense:MITStargazers:189Issues:3Issues:14

purescript-companies

Community curated list of companies that use Purescript

ledcat

Control lots of LED's over lots of protocols

Language:RustLicense:GPL-3.0Stargazers:100Issues:5Issues:14

Tetrahedral-Interpolation

Color transformations using tetrahedral math.

purescm

Scheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell).

Language:PureScriptLicense:Apache-2.0Stargazers:62Issues:8Issues:65

wlhs

Haskell bindings to wlroots (and libwayland)

Language:HaskellLicense:NOASSERTIONStargazers:53Issues:15Issues:3

Mizer

A visualization software for live events like concerts and club gigs with a node based workflow.

Language:RustLicense:AGPL-3.0Stargazers:53Issues:5Issues:171

haskell-qrcode

QR Code encoder in pure Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:16Issues:7Issues:4

dex-contracts-api

Off-chain code to interact with Genius Yield DEX contracts

Language:HaskellLicense:Apache-2.0Stargazers:14Issues:3Issues:33

DeepBlue

A mini underwater experienced I built for the  Swift Student Challenge 2024, selected as a Distinguished Winner.

Language:SwiftStargazers:11Issues:0Issues:0

hackernews-userscript

Hackernews Userscript wirtten in Rust WASM featuring regex-based filtering and softhide

Language:RustLicense:MITStargazers:9Issues:1Issues:0

Tetrahedral-Interpolation-DCTL

tridimensional color transformation in CIE XYZ inspired by Steve Yedlin

License:MITStargazers:9Issues:2Issues:0

dapps-certification-web

Certification as a service for the Cardano dApps platform

Language:TypeScriptLicense:Apache-2.0Stargazers:5Issues:2Issues:6

dDynamic

a minimal dependently typed language with equality resolving at runtime

haskell-ndjson-conduit

Conduit-based parsing and serialization for newline delimited JSON

Language:HaskellLicense:MITStargazers:5Issues:0Issues:0

artnet_packer

Creates packets to send DMX over Art-Net

Language:RustLicense:MITStargazers:4Issues:2Issues:1

cardano-serialization-lib-gc

cardano-serialization-lib with custom garbage collector for WASM

Language:JavaScriptStargazers:4Issues:5Issues:0

idris2-pkgs

An unofficial Idris2 package repository for Nix

Language:NixLicense:MITStargazers:2Issues:1Issues:0

haskell-rust-ffi-template

A template repository demonstrating how to use a rust library as a dependency in haskell

License:MITStargazers:2Issues:0Issues:0

dear-github-2.0

📨 An open letter to GitHub from the maintainers of open source projects