Justus Sagemüller (leftaroundabout)

leftaroundabout

Geek Repo

Company:KTH Royal Institute of Technology

Location:Stockholm

Github PK Tool:Github PK Tool

Justus Sagemüller's repositories

manifolds

Coordinate-free hypersurfaces as Haskell types

Symbolic-math-HaTeX

Convenient Haskell syntax for writing in LaTeX math expressions

Language:HaskellLicense:GPL-3.0Stargazers:27Issues:7Issues:3

linearmap-family

Purely-functional, coordinate-free linear algebra

Language:HaskellLicense:GPL-3.0Stargazers:26Issues:4Issues:5

constrained-categories

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

Language:HaskellLicense:GPL-3.0Stargazers:20Issues:4Issues:6

dumb-cas

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

Language:HaskellLicense:GPL-3.0Stargazers:16Issues:4Issues:0

dynamic-plot

Interactive windows for displaying Haskell-generated diagrams

beamonad

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

Language:HaskellLicense:GPL-3.0Stargazers:10Issues:2Issues:0

trivial-constraint

A haskell typeclass that includes ALL types.

Language:HaskellLicense:GPL-3.0Stargazers:4Issues:3Issues:5

free-vector-spaces

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

Language:HaskellLicense:BSD-3-ClauseStargazers:3Issues:4Issues:2

goedel-trees

Bijections between structured data and numbers

Language:HaskellLicense:GPL-3.0Stargazers:2Issues:1Issues:0

pragmatic-show

More concise alternative to the standard Haskell `Show` class

Language:HaskellLicense:GPL-3.0Stargazers:2Issues:2Issues:1

colour-space

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

Language:HaskellLicense:GPL-3.0Stargazers:1Issues:3Issues:0

IHaskell-tables

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

Language:HaskellLicense:GPL-3.0Stargazers:1Issues:2Issues:0

spatial-rotations

Rotations of points, functions etc. around any axis

Language:HaskellLicense:GPL-3.0Stargazers:1Issues:3Issues:0

ablation-paths-pytorch

Code to the paper "Ablation Path Saliency"

License:GPL-3.0Stargazers:0Issues:2Issues:0

batchoptimisable-data

Data that can be processed fast on e.g. GPUs

Language:HaskellStargazers:0Issues:0Issues:0

decimal-literals

Heuristics for interpreting Haskell float literals with the correct precision

Language:HaskellLicense:GPL-3.0Stargazers:0Issues:2Issues:0

diagrams-gi-cairo

Port of diagrams-cairo to haskell-gi

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

HaTeX

LaTeX code writer

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

infdim-function-spaces

Infinite-dimensional vector spaces representing smooth functions

Language:TeXLicense:GPL-3.0Stargazers:0Issues:2Issues:0

kmonad

An advanced keyboard manager

License:MITStargazers:0Issues:0Issues:0

odl

Operator Discretization Library https://odlgroup.github.io/odl/

Language:PythonLicense:MPL-2.0Stargazers:0Issues:0Issues:0

pandoc-types

types for representing structured documents

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

quickcheck

Automatic testing of Haskell programs.

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:2Issues:0

uninhabited

Class for Haskell types containing no values

Language:HaskellLicense:Apache-2.0Stargazers:0Issues:2Issues:0

vector

An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

yi

The Haskell-Scriptable Editor

Language:HaskellLicense:GPL-2.0Stargazers:0Issues:1Issues:0
Language:HaskellLicense:GPL-2.0Stargazers:0Issues:0Issues:0