Discover @shlevy Open Source projects

Shea Levy (@shlevy)

shlevy

Stars
388
Global Rank 72,076 (Top 3 %)
Followers 182
Following 16
Registered about 14 years ago
Most used languages

Haskell
28.2 %

Nix
17.9 %

Emacs Lisp
10.3 %

ATS 7.7 %

C++
7.7 %

C
5.1 %

Ruby
5.1 %

Coq 5.1 %

Idris 5.1 %

Java
2.6 %

Shell
2.6 %

Vim Script
2.6 %
Location 🇺🇸 United States
Country Total Rank 18,038
Country Ranking

ATS 5

Idris 37

Coq 56

Nix
61

Emacs Lisp
183

Haskell
585

Vim Script
1,483

C++
2,461

nix-buffer

nix-shell for emacs buffers

nix-plugins

Collection of miscellaneous plugins for the nix expression language

nix-exec

Run programs defined in nix expressions

nix-adt

A library for using algebraic data types in the Nix expression language.

declarative-hydra-example

An example illustrating declarative hydra projects

cat-fiat

An attempt to formalize unix cat in fiat

nixos-riscv-bootstrap

Nix expressions to help bootstrap our way to full RISC-V support on NixOS.

config

Personal system configuration

nixos-types

Data types to represent the Nix language

verified-left-pad

A verified memory-safe correct implementation of left-pad in ats2

dotfiles

Various configuration files

elvysh-project-documentation

Documentation for the elvysh ATS library project

eventuo11y

An event-oriented observability library

inherit-local

An emacs library for inheriting buffer-local variables

lambductive

A lambda calculus with tarski universes, pi types, and self-referential expressions

elvysh-main

Headers to define alternative program entry points.

open-instruments-core

Core open instruments API

ofborg-stats

Library for parsing out ofborg statistics

indexed-exception

xcode-types

Data types to represent Xcode projects

xcode2nix

Generate Nix build instructions from an xcode build file

intentionel

Intention tracking with org-brain

ip-quoter

Quasiquoter for IP addresses

haskell-options

Fork of https://john-millikin.com/code/haskell-options/

Introduction-to-higher-order-categorical-logic

org-drill cards for Lambek and Scott's Introduction to higher order categorical logic

e11y

An event-oriented observability library

service-runner

elvysh-filedes

Functions and views for safe handling of UNIX file descriptors.

compsh

The compiling shell

ghc

priodyn

Project management with dynamic prioritization.

shlevy-backup

Personal backup tools

ref-trans

HoTTophage

An implementation of homotopy type theory that eats itself.

compliment-bot

A set of scripts to send compliments to someone at random intervals!

AndroidModel

Base model class for Android

after-find-bug

A sample project to illustrate a strange bug in Rails 3 relating to the after_find hook

qualitative-order

Mathematical formalism of qualitatively ordered types

mark-session-notes

Notes from tutoring from Mark Moon

gnupg

GNU Privacy Guard

build_association_test

A repo to illustrate a bug in Rails's association handling

chell

Fork of https://john-millikin.com/code/chell/

ios-cross

grub

Fork of grub source at git://git.savannah.gnu.org/grub.git

nixpkgs-development-support

Out-of-tree implementation of https://github.com/NixOS/rfcs/pull/10