shlevy/cat-fiat shlevy/cat-fiat

  • Stars
    star
    12
  • Rank 1,597,372 (Top 32 %)
  • Language Coq
  • License
    Other
  • Created over 7 years ago
  • Updated over 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
shlevy/cat-fiat
github

shlevy

Reviews

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

Repository Details

An attempt to formalize unix cat in fiat

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

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

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