shlevy/HoTTophage

Stars
1
Language
Created almost 6 years ago
Updated almost 6 years ago

shlevy/HoTTophage

shlevy

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

An implementation of homotopy type theory that eats itself.

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

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