leftaroundabout/typeclassopedia-in-coq leftaroundabout/typeclassopedia-in-coq

  • Stars
    star
    1
  • Language Coq
  • Created over 4 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
leftaroundabout/typeclassopedia-in-coq
github

leftaroundabout

Reviews

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

Repository Details

More Repositories

1

manifolds

Coordinate-free hypersurfaces as Haskell types
Haskell
39
star
2

Symbolic-math-HaTeX

Convenient Haskell syntax for writing in LaTeX math expressions
Haskell
28
star
3

linearmap-family

Purely-functional, coordinate-free linear algebra
Haskell
26
star
4

constrained-categories

Constrained versions of the Haskell standard category-theory-based type classes, using ConstraintKinds
Haskell
20
star
5

dumb-cas

A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.
Haskell
16
star
6

dynamic-plot

Interactive windows for displaying Haskell-generated diagrams
Haskell
15
star
7

beamonad

A Yesod-based server for screen presentations. Somewhat like LaTeX Beamer, but interactive.
Haskell
10
star
8

uncertainly-haskell

Uncertainty propagation of values such as physical measurements or approximate computations
Haskell
5
star
9

trivial-constraint

A haskell typeclass that includes ALL types.
Haskell
5
star
10

triangular-fft

Mulidimensional Fast Fourier Transform on simplex domains
Haskell
4
star
11

free-vector-spaces

Instantiate the classes from the vector-space package with the types from linear
Haskell
3
star
12

Hilbert

A linear algebra library with focus on mathematical elegance and performance at high dimensions
C++
2
star
13

goedel-trees

Bijections between structured data and numbers
Haskell
2
star
14

pragmatic-show

More concise alternative to the standard Haskell `Show` class
Haskell
2
star
15

monotone-path

Haskell
1
star
16

concrete-traversals

Traversing without an Applicative or Monad instance
Haskell
1
star
17

braille-bytestring

Compact display of Haskell bytestrings
Haskell
1
star
18

spatial-rotations

Rotations of points, functions etc. around any axis
Haskell
1
star
19

temporary-checkout

Simple script that abuses git for automatic backups.
Python
1
star
20

colour-space

Colours form a manifold, in which inter-/extrapolation is guaranteed to stay in the gamut.
Haskell
1
star
21

justIntYeamer

A very simple software synthesizer supporting just intonation, built from a screen presentation engine
Haskell
1
star
22

sobolev-spaces

“Smooth signal functions” in Haskell
Haskell
1
star
23

IHaskell-tables

Easy pretty-printing of tabular-like Haskell data in Jupyter
Haskell
1
star