goldfirere/units-defs goldfirere/units-defs

  • Stars
    star
    13
  • Rank 1,512,713 (Top 30 %)
  • Language
  • Created over 10 years ago
  • Updated about 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
goldfirere/units-defs
github

goldfirere

Reviews

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

Repository Details

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

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

video-resources

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

triptych

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

cs380

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

wordle

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

type-reflection

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

funeq

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

eiger

An experiment in representing legal regulations in Haskell code
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