shlevy/dotfiles shlevy/dotfiles

  • Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language
    Vim Script
  • Created over 13 years ago
  • Updated about 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
shlevy/dotfiles
github

shlevy

Reviews

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

Repository Details

Various configuration files

More Repositories

1

nix-buffer

nix-shell for emacs buffers
Emacs Lisp
79
star
2

nix-plugins

Collection of miscellaneous plugins for the nix expression language
C++
51
star
3

nix-exec

Run programs defined in nix expressions
C++
49
star
4

nix-adt

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

declarative-hydra-example

An example illustrating declarative hydra projects
Nix
19
star
6

cat-fiat

An attempt to formalize unix cat in fiat
Coq
12
star
7

nixos-riscv-bootstrap

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

config

Personal system configuration
Nix
8
star
9

nixos-types

Data types to represent the Nix language
Haskell
7
star
10

verified-left-pad

A verified memory-safe correct implementation of left-pad in ats2
ATS
6
star
11

elvysh-project-documentation

Documentation for the elvysh ATS library project
4
star
12

eventuo11y

An event-oriented observability library
Nix
3
star
13

inherit-local

An emacs library for inheriting buffer-local variables
Emacs Lisp
3
star
14

lambductive

A lambda calculus with tarski universes, pi types, and self-referential expressions
Idris
3
star
15

elvysh-main

Headers to define alternative program entry points.
ATS
3
star
16

open-instruments-core

Core open instruments API
C++
2
star
17

ofborg-stats

Library for parsing out ofborg statistics
Haskell
2
star
18

indexed-exception

Haskell
2
star
19

xcode-types

Data types to represent Xcode projects
Haskell
2
star
20

xcode2nix

Generate Nix build instructions from an xcode build file
2
star
21

intentionel

Intention tracking with org-brain
Emacs Lisp
2
star
22

ip-quoter

Quasiquoter for IP addresses
Haskell
2
star
23

haskell-options

Fork of https://john-millikin.com/code/haskell-options/
Haskell
1
star
24

Introduction-to-higher-order-categorical-logic

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

e11y

An event-oriented observability library
Haskell
1
star
26

service-runner

Coq
1
star
27

elvysh-filedes

Functions and views for safe handling of UNIX file descriptors.
ATS
1
star
28

compsh

The compiling shell
Haskell
1
star
29

ghc

Haskell
1
star
30

priodyn

Project management with dynamic prioritization.
Emacs Lisp
1
star
31

shlevy-backup

Personal backup tools
Haskell
1
star
32

ref-trans

1
star
33

HoTTophage

An implementation of homotopy type theory that eats itself.
1
star
34

compliment-bot

A set of scripts to send compliments to someone at random intervals!
Shell
1
star
35

AndroidModel

Base model class for Android
Java
1
star
36

after-find-bug

A sample project to illustrate a strange bug in Rails 3 relating to the after_find hook
Ruby
1
star
37

qualitative-order

Mathematical formalism of qualitatively ordered types
Idris
1
star
38

mark-session-notes

Notes from tutoring from Mark Moon
1
star
39

gnupg

GNU Privacy Guard
C
1
star
40

build_association_test

A repo to illustrate a bug in Rails's association handling
Ruby
1
star
41

chell

Fork of https://john-millikin.com/code/chell/
Haskell
1
star
42

ios-cross

Nix
1
star
43

grub

Fork of grub source at git://git.savannah.gnu.org/grub.git
C
1
star
44

nixpkgs-development-support

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