goldfirere/web goldfirere/web

  • Stars
    star
    2
  • Language
    HTML
  • Created about 8 years ago
  • Updated about 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
goldfirere/web
github

goldfirere

Reviews

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

Repository Details

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

eiger

An experiment in representing legal regulations in Haskell code
Haskell
5
star
17

HUnit-approx

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

ott-tutorial

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

cs206

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

bib

Richard Eisenberg's BiBTeX file
TeX
3
star
21

runtime-instances

Runtime class instance lookup
Haskell
2
star
22

house

Haskell
2
star
23

cs231

Course materials for Bryn Mawr's CS231: Discrete Math
Coq
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