aspiwack/haskell-benign aspiwack/haskell-benign

  • Stars
    star
    20
  • Rank 1,121,974 (Top 23 %)
  • Language
    Haskell
  • License
    MIT License
  • Created about 2 years ago
  • Updated about 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
aspiwack/haskell-benign
github

aspiwack

Reviews

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

Repository Details

A library for benign effects in Haskell

More Repositories

1

peppermint-prover

Experimental proof assistant (and architecture) for dependent linear logic
Haskell
47
star
2

finset

A Coq library for extensional finite sets and comprehension
Coq
8
star
3

assert-plugin

A GHC plugin for rich, switchable assertions
Haskell
7
star
4

randomizer-engine

generic, declarative randomizer engine which draws shuffles uniformely
OCaml
6
star
5

fulltrees

Balancing lists: a proof pearl
TeX
6
star
6

ocaml-hollow-heap

An implementation of hollow heaps in Ocaml
OCaml
5
star
7

cosa

A thing about Coq-verified Shape Analysis
Coq
4
star
8

haskell-ann

Haskell library for nformative annotations which don't change equality
Haskell
4
star
9

dissection-of-l

A dissection of L: article about focalised sequent calculus and dependent types
TeX
3
star
10

milner

Small implementation of Milner tactics for minimal logic
OCaml
2
star
11

ocaml-heavn

An edn parser and data model in Ocaml
OCaml
2
star
12

tacengine

My unfinished and unpolished reflection on designing and implementing a tactic engine
TeX
2
star
13

topocircuit

OCaml
2
star
14

notebooks

A bunch of notebooks on stuff
Jupyter Notebook
1
star
15

information-stream

Haskell
1
star
16

num-from

A game of finding numbers with arithmetic expressions? Let me ruin it for you.
Haskell
1
star
17

axhurkens

OCaml
1
star
18

realisability

Krivine realisability, explained
1
star
19

cadence-of-hyrule

Cadence of Hyrule technical sheets
1
star
20

treemachine

TeX
1
star
21

minipi

Experiment on depent type-checking.
OCaml
1
star
22

combining-logics

Nix
1
star