-
KTH Royal Institute of Technology
- Stockholm
Starred repositories
leftaroundabout / odl
Forked from odlgroup/odlOperator Discretization Library https://odlgroup.github.io/odl/
Coordinate-free hypersurfaces as Haskell types
Purely-functional, coordinate-free linear algebra
Create Vega-Lite visualizations from Haskell.
Benchmark of the main linear algebra libraries in Haskell
A Dependently Typed Functional Programming Language
Compiler for Elm, a functional language for reliable webapps.
A friendly programming language from the future
A Yesod-based server for screen presentations. Somewhat like LaTeX Beamer, but interactive.
Extract Bibtex entries and download fulltext of scientific articles automatically for a given DOI or URL
Accelerates your web browsing with Vim power!!
A Haskell library for converting LaTeX math to MathML.
Haskell library to obtain minified jQuery code
Helpers to connect to SSL/TLS mail servers with HaskellNet
(MOVED) Athena++ GRMHD code and adaptive mesh refinement (AMR) framework. Active repository --->
A python lens library for manipulating deeply nested immutable structures
Scripts and instructions for using CI services (e.g. Travis CI or Appveyor) with multiple GHC configurations
Type safe interface for working in subcategories of Hask
A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation. (aern2 is a rewrite of aern.)
Constrained versions of the Haskell standard category-theory-based type classes, using ConstraintKinds
Interactive windows for displaying Haskell-generated diagrams
a Parallel Integration Scheme Organizer for partial differential equations solvers





