Harry Pray IV (harryprayiv)

harryprayiv

Geek Repo

Location:Cambridge, MA

Github PK Tool:Github PK Tool

Harry Pray IV's starred repositories

OpenCore-Legacy-Patcher

Experience macOS just like before

Language:PythonLicense:NOASSERTIONStargazers:11771Issues:626Issues:901

nix-darwin

nix modules for darwin

Language:NixLicense:MITStargazers:2462Issues:36Issues:490

ormolu

A formatter for Haskell source code

Language:HaskellLicense:NOASSERTIONStargazers:940Issues:35Issues:551

photon

A replacement for lemmy-ui with more features, a better design, and more customizability.

Language:SvelteLicense:AGPL-3.0Stargazers:311Issues:5Issues:235

nixflakes

My nixdots, but flaked.

Language:NixLicense:MITStargazers:253Issues:3Issues:4

mlmym

a familiar desktop experience for lemmy

Language:GoLicense:AGPL-3.0Stargazers:247Issues:8Issues:98

nix-flatpak

Install flatpaks declaratively

Language:NixLicense:Apache-2.0Stargazers:237Issues:7Issues:23
Language:ClojureLicense:AGPL-3.0Stargazers:189Issues:11Issues:1

nixos-images

Automatically build (netboot) images for NixOS [maintainer=@Mic92]

Language:NixLicense:MITStargazers:158Issues:7Issues:16

haskell-tree-sitter

Haskell bindings for tree-sitter

Language:PureScriptLicense:MITStargazers:138Issues:7Issues:38

lcars

A responsive layout for Star Trek's LCARS user interface made completely in HTML/CSS/JavaScript.

Language:VueLicense:GPL-3.0Stargazers:137Issues:13Issues:0

rust-haskell-ffi

Toy example of calling Rust from Haskell

Language:HaskellLicense:UnlicenseStargazers:131Issues:8Issues:1

purescript-ocelot

An opinionated component library for Halogen apps

Language:PureScriptLicense:Apache-2.0Stargazers:101Issues:13Issues:8

cardano-base

Code used throughout the Cardano eco-system

Language:HaskellLicense:Apache-2.0Stargazers:90Issues:60Issues:72

multipac

multiplayer pacman

Language:PureScriptLicense:MITStargazers:57Issues:6Issues:21

purescript-effect

The Effect monad, for handling native side effects

Language:PureScriptLicense:BSD-3-ClauseStargazers:53Issues:9Issues:8

Espresso-PID-Controller

Arduino based PID controller on a Gaggia Classic espresso machine

purescript-argonaut-codecs

JSON serialization and deserialization with Argonaut.

Language:PureScriptLicense:MITStargazers:48Issues:11Issues:36
License:NOASSERTIONStargazers:45Issues:3Issues:0

purescript-tecton

CSS in PureScript

Language:PureScriptLicense:MITStargazers:38Issues:3Issues:20

lambda-buffers

LambdaBuffers toolkit for sharing types and their semantics between different languages

Language:HaskellLicense:Apache-2.0Stargazers:29Issues:17Issues:53

GuitarPico

A guitar effects processor based on the Raspberry Pi Pico

Language:C++Stargazers:29Issues:2Issues:0

puresheet

Spreadsheet management application on Halogen

Language:PureScriptLicense:GPL-3.0Stargazers:24Issues:1Issues:2

beemocracy

Governance By Jury Modeled After The Democracy Which Evolved In Honey Bee Society

purus

A work-in-progress PureScript to Plutus Core compiler

Language:HaskellLicense:NOASSERTIONStargazers:6Issues:5Issues:6

purescript-scroll-table

Scroll table demo made with purescript-halogen

Language:JavaScriptStargazers:3Issues:4Issues:0

plutus-plonk-poc

A POC repo for testing plonk in plutus

Language:HaskellLicense:Apache-2.0Stargazers:3Issues:2Issues:0

space_inv

Space invaders built in Haskell (hopefully)

Language:HaskellStargazers:1Issues:1Issues:0

rd2weekly

Scrapes the CBS fantasy baseball site to generate a weekly summary for export to reddit

Language:PythonLicense:MITStargazers:1Issues:3Issues:0