leftaroundabout/goedel-trees leftaroundabout/goedel-trees

  • Stars
    star
    2
  • Language
    Haskell
  • License
    GNU General Publi...
  • Created over 1 year ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
leftaroundabout/goedel-trees
github

leftaroundabout

Reviews

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

Repository Details

Bijections between structured data and numbers

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

pragmatic-show

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

monotone-path

Haskell
1
star
15

concrete-traversals

Traversing without an Applicative or Monad instance
Haskell
1
star
16

braille-bytestring

Compact display of Haskell bytestrings
Haskell
1
star
17

spatial-rotations

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

temporary-checkout

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

colour-space

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

typeclassopedia-in-coq

Coq
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