Discover @shlevy Open Source projects

Top Rating
- Top Contributors
  Discover the Top Open Source contributors by country or by language
- Interviews
  Discover real stories from Open Source developers
Discover

Discover your Favorite Language
Discover the top trending repositories and projects on Github. Explore the latest trends in your preferred languages.

PowerShell

Swift

Rust

HTML

Ruby

Kotlin

OCaml

Java

More Languages
Awesome

Awesome repositories
Discover the most awesome repositories and projects of your favorite languages. Inspired by the Awesome-* lists trend in GitHub.

Zig

Go

C

C++

Crystal

Rust

Lua

JavaScript

More Languages
By Country

Rankings by Country
Discover the community of talented open source contributors in each country.

🇰🇼 Kuwait

🇹🇷 Turkey

🇱🇺 Luxembourg

🇲🇿 Mozambique

🇲🇦 Morocco

🇸🇾 Syria

🇱🇻 Latvia

🇮🇹 Italy

All Countries Compare Countries

Shea Levy (@shlevy)

shlevy

Stars
383
Global Rank 71,423 (Top 3 %)
Followers 162
Following 16
Registered over 13 years ago
Most used languages

Haskell
28.2 %

Nix
17.9 %

Emacs Lisp
10.3 %

C++
7.7 %

ATS 7.7 %

Coq 5.1 %

C
5.1 %

Ruby
5.1 %

Idris 5.1 %

Vim Script
2.6 %

Shell
2.6 %

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

ATS 5

Idris 32

Coq 60

Nix
63

Emacs Lisp
185

Haskell
580

Vim Script
1,530

C++
2,413

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

service-runner

e11y

An event-oriented observability library

elvysh-filedes

Functions and views for safe handling of UNIX file descriptors.

compsh

The compiling shell

ghc

priodyn

Project management with dynamic prioritization.

HoTTophage

An implementation of homotopy type theory that eats itself.

shlevy-backup

Personal backup tools

ref-trans

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