Discover @leftaroundabout Open Source projects

Justus Sagemüller (@leftaroundabout)

leftaroundabout

Stars
189
Global Rank 128,820 (Top 5 %)
Followers 68
Registered over 12 years ago
Most used languages

Haskell
87.5 %

Coq 4.2 %

Python
4.2 %

C++
4.2 %
Location 🇸🇪 Sweden
Country Total Rank 608
Country Ranking

Coq 6

Haskell
13

C++
1,259

Python
4,195

manifolds

Coordinate-free hypersurfaces as Haskell types

Symbolic-math-HaTeX

Convenient Haskell syntax for writing in LaTeX math expressions

linearmap-family

Purely-functional, coordinate-free linear algebra

constrained-categories

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

dumb-cas

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

dynamic-plot

Interactive windows for displaying Haskell-generated diagrams

beamonad

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

uncertainly-haskell

Uncertainty propagation of values such as physical measurements or approximate computations

trivial-constraint

A haskell typeclass that includes ALL types.

triangular-fft

Mulidimensional Fast Fourier Transform on simplex domains

free-vector-spaces

Instantiate the classes from the vector-space package with the types from linear

Hilbert

A linear algebra library with focus on mathematical elegance and performance at high dimensions

goedel-trees

Bijections between structured data and numbers

pragmatic-show

More concise alternative to the standard Haskell `Show` class

monotone-path

concrete-traversals

Traversing without an Applicative or Monad instance

braille-bytestring

Compact display of Haskell bytestrings

spatial-rotations

Rotations of points, functions etc. around any axis

temporary-checkout

Simple script that abuses git for automatic backups.

colour-space

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

typeclassopedia-in-coq

justIntYeamer

A very simple software synthesizer supporting just intonation, built from a screen presentation engine

sobolev-spaces

“Smooth signal functions” in Haskell

IHaskell-tables

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