Giters
Greg Pfeil (sellout)

sellout

Geek Repo

318

followers

136

following

123

stars

Company:@zcash

Location:Boulder, CO, USA

Home Page:https://technomadic.org

Twitter:@sellout

Github PK Tool:Github PK Tool

Organizations
Clozure
con-kitty

Greg Pfeil's starred repositories

nixpkgs

Nix Packages collection & NixOS

Language:NixLicense:MITStargazers:16161Issues:277Issues:38291

nix-darwin

nix modules for darwin

Language:NixLicense:MITStargazers:2346Issues:37Issues:468

learn-tt

A collection of resources for learning type theory and type theory adjacent fields.

Stargazers:2065Issues:93Issues:9

yi

The Haskell-Scriptable Editor

Language:HaskellLicense:GPL-2.0Stargazers:1501Issues:60Issues:787

impermanence

Modules to help you handle persistent state on systems with ephemeral root storage [maintainer=@talyz]

Language:NixLicense:MITStargazers:947Issues:17Issues:110

bash-preexec

⚡ preexec and precmd functions for Bash just like Zsh.

Language:ShellLicense:MITStargazers:836Issues:32Issues:78

tut

doc/tutorial generator for scala

Language:ScalaLicense:MITStargazers:582Issues:19Issues:115

there-are-stars

A self-generating story that gets longer the more stars it gets

Language:JinjaLicense:UnlicenseStargazers:362Issues:4Issues:0

emacs-direnv

direnv integration for emacs

Language:Emacs LispLicense:BSD-3-ClauseStargazers:323Issues:8Issues:50

moderntools

Modern problems require modern solutions.

Stargazers:235Issues:15Issues:5

garn

garn is a build tool and environment manager that replaces justfiles/makefiles, docker, and the annoying parts of READMEs. The builders lingua franca.

Language:TypeScriptLicense:Apache-2.0Stargazers:219Issues:7Issues:205

tulip

Language:LuaStargazers:202Issues:28Issues:7

paiges

an implementation of Wadler's a prettier printer

Language:ScalaLicense:Apache-2.0Stargazers:186Issues:11Issues:54

epresent

Presentations in Emacs -- based on Org-mode

Language:Emacs LispStargazers:184Issues:8Issues:44

shims

Seamless interop layer between cats and scalaz

Language:ScalaLicense:Apache-2.0Stargazers:174Issues:11Issues:30

floobits-emacs

Floobits plugin for emacs

Language:PythonLicense:Apache-2.0Stargazers:152Issues:8Issues:66

siren

[status: superseded by Purr] Sirën is an experimental context-based programming language with ad hoc multiple hierarchies, and multimethods.

Language:JavaScriptLicense:MITStargazers:129Issues:11Issues:99

triton

Triton Operating System

Language:NixLicense:MITStargazers:60Issues:12Issues:96

categorifier

Interpret Haskell programs into any cartesian closed category.

Language:HaskellLicense:BSD-3-ClauseStargazers:57Issues:5Issues:31

typecraft

:star: it's a starcraft clone but with a dope typesystem

Language:HaskellLicense:BSD-3-ClauseStargazers:48Issues:7Issues:10

do-notation

deprecated in favor of -XQualifiedDo

Language:HaskellLicense:BSD-3-ClauseStargazers:41Issues:4Issues:3

nixcasks

Homebrew casks, nixified

Language:NixLicense:MITStargazers:38Issues:4Issues:7

describe-curve

Describe elliptic curves

Language:PythonLicense:MITStargazers:35Issues:4Issues:0

invertible-syntax

Invertible syntax and partial isomorphisms for Scala

Language:ScalaStargazers:31Issues:4Issues:5

aftok

Language:HaskellLicense:AGPL-3.0Stargazers:29Issues:13Issues:6

categorifier-c

Haskell to C compiler via Categorifier

Language:HaskellLicense:BSD-3-ClauseStargazers:27Issues:2Issues:21

purescript-mra

A definition and reference implementation for MRA in PureScript.

Language:PureScriptStargazers:17Issues:16Issues:1

project-manager

Home Manager, but for repos.

Language:NixLicense:MITStargazers:14Issues:2Issues:16

adjunction

Language:ScalaStargazers:9Issues:4Issues:0

scala-abt

Abstract Binding Trees in Scala

Language:ScalaStargazers:7Issues:0Issues:0