goldfirere/eiger goldfirere/eiger

  • Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language
    Haskell
  • Created about 2 years ago
  • Updated about 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
goldfirere/eiger
github

goldfirere

Reviews

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

Repository Details

An experiment in representing legal regulations in Haskell code

More Repositories

1

singletons

Fake dependent types in Haskell using singletons
Haskell
285
star
2

glambda

The home of the Glamorous Glambda interpreter
Haskell
214
star
3

thesis

Richard A. Eisenberg's PhD Dissertation
Haskell
204
star
4

units

The home of the units Haskell package
Haskell
95
star
5

effects

A Haskell translation of Idris's original algebraic effects library
Haskell
41
star
6

dependent-db

Haskell
20
star
7

th-desugar

Desugars Template Haskell abstract syntax to a simpler format without changing semantics
Haskell
19
star
8

nyc-hug-oct2014

Repo for code from my NYC Haskell Users' Group talk on Oct. 24, 2014
Haskell
13
star
9

units-defs

Public repo for the units-defs package of well-typed unit definitions.
13
star
10

video-resources

Resources to look at in concert with my Haskell videos
Haskell
13
star
11

triptych

The code for my 2016 Haskell Implementors' Workshop talk
Haskell
9
star
12

cs380

Public copy of repo used to run my CS 380 course at Bryn Mawr College
Haskell
7
star
13

wordle

A wordle guess analyzer, demonstrated as part of a video series in early 2022.
Haskell
7
star
14

type-reflection

Support functions to work with GHC's Type.Reflection, including pretty-printing.
Haskell
6
star
15

funeq

Haskell files to allow easy comparison of functions in repl.it
Haskell
5
star
16

HUnit-approx

A small Haskell package allowing comparison of floating point values with HUnit
Haskell
4
star
17

ott-tutorial

A tutorial on the ott tool for presenting type theory
Coq
4
star
18

cs206

Course materials for Bryn Mawr's CS206: Introduction to Data Structures
Java
3
star
19

bib

Richard Eisenberg's BiBTeX file
TeX
3
star
20

runtime-instances

Runtime class instance lookup
Haskell
2
star
21

house

Haskell
2
star
22

cs231

Course materials for Bryn Mawr's CS231: Discrete Math
Coq
2
star
23

web

HTML
2
star
24

cs113

Course materials for Bryn Mawr's CS113: Computer Science I
HTML
2
star
25

no-role-annots

Role annotations without -XRoleAnnotations
Haskell
1
star
26

janestreet-videos

Resources attached to the videos I have made for Jane Street
Standard ML
1
star
27

layout-polymorphism

A place to stash documents, thought, etc. about the design for layout polymorphism in OCaml
TeX
1
star