leftaroundabout

Justus Sagemüller's starred repositories

compiler

Compiler for Elm, a functional language for reliable webapps.

Language:HaskellBSD-3-Clause7462 202 1670

unison

A friendly programming language from the future

Language:HaskellNOASSERTION5603 109 2601

kmonad

An advanced keyboard manager

Language:HaskellMIT3626 36 571

Idris-dev

A Dependently Typed Functional Programming Language

Language:HaskellNOASSERTION3406 120 2336

vim-vixen

Accelerates your web browsing with Vim power!!

Language:TypeScriptMIT2113 41 560

haskell-ci

Scripts and instructions for using CI services (e.g. Travis CI or Appveyor) with multiple GHC configurations

Language:HaskellGPL-3.0430 16 288

haskell-chart

A 2D charting library for haskell

Language:Haskell423 21 159

subhask

Type safe interface for working in subcategories of Hask

Language:HaskellBSD-3-Clause418 43 27

pdfocr

Adds text to PDF files using the cuneiform OCR software

Language:RubyMIT320 19 26

texmath

A Haskell library for converting LaTeX math to MathML.

Language:HaskellGPL-2.0302 13 164

python-lenses

A python lens library for manipulating deeply nested immutable structures

Language:PythonGPL-3.0298 6 32

athena-public-version

(MOVED) Athena++ GRMHD code and adaptive mesh refinement (AMR) framework. Active repository --->

Language:C++BSD-3-Clause161 53 67

lens-regex-pcre

Text lenses using PCRE regexes

Language:HaskellBSD-3-Clause126 8 12

flat

Principled and efficient binary serialization

Language:HaskellBSD-3-Clause60 4 23

hvega

Create Vega-Lite visualizations from Haskell.

Language:Jupyter NotebookBSD-3-Clause51 4 36

Paraiso

a Parallel Integration Scheme Organizer for partial differential equations solvers

Language:C++BSD-3-Clause49 7 32

manifolds

Coordinate-free hypersurfaces as Haskell types

Language:Haskell39 5 2

compound-types

Sum and Product types and such

Language:HaskellMIT2800

diagrams-braille

Render diagrams to Braille

Language:HaskellBSD-3-Clause27 5 1

linearmap-family

Purely-functional, coordinate-free linear algebra

Language:HaskellGPL-3.026 4 5

fastest-matrices

Benchmark of the main linear algebra libraries in Haskell

Language:HaskellBSD-3-Clause23 3 2

HaskellNet-SSL

Helpers to connect to SSL/TLS mail servers with HaskellNet

Language:HaskellBSD-3-Clause21 4 16

aern2

A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation. (aern2 is a rewrite of aern.)

Language:Haskell21 7 2

constrained-categories

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

Language:HaskellGPL-3.020 4 6

dynamic-plot

Interactive windows for displaying Haskell-generated diagrams

Language:Haskell15 3 3

doi

Extract Bibtex entries and download fulltext of scientific articles automatically for a given DOI or URL

Language:HaskellMIT11 40

beamonad

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

Language:HaskellGPL-3.010 20

js-jquery

Haskell library to obtain minified jQuery code

Language:HaskellMIT9 4 2

primitive-simd

Expose SIMD prim-ops in a uniform way.

Language:HaskellBSD-3-Clause600

HaTeX-qq

Quasiquoters for HaTeX

Language:HaskellBSD-3-Clause200