shlevy/nix-plugins shlevy/nix-plugins

  • Stars
    star
    51
  • Rank 558,321 (Top 12 %)
  • Language
    C++
  • License
    MIT License
  • Created about 10 years ago
  • Updated 11 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
shlevy/nix-plugins
github

shlevy

Reviews

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

Repository Details

Collection of miscellaneous plugins for the nix expression language

More Repositories

1

nix-buffer

nix-shell for emacs buffers
Emacs Lisp
79
star
2

nix-exec

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

nix-adt

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

declarative-hydra-example

An example illustrating declarative hydra projects
Nix
19
star
5

cat-fiat

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

nixos-riscv-bootstrap

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

config

Personal system configuration
Nix
8
star
8

nixos-types

Data types to represent the Nix language
Haskell
7
star
9

verified-left-pad

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

dotfiles

Various configuration files
Vim Script
5
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

service-runner

Coq
1
star
26

e11y

An event-oriented observability library
Haskell
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

HoTTophage

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

shlevy-backup

Personal backup tools
Haskell
1
star
33

ref-trans

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