Maximilian Algehed (MaximilianAlgehed)

MaximilianAlgehed

Geek Repo

Company:Quviq AB

Location:Gothenburg

Github PK Tool:Github PK Tool

Maximilian Algehed's starred repositories

ghc

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).

Language:HaskellLicense:NOASSERTIONStargazers:2958Issues:143Issues:0

alga

Algebraic graphs

Language:HaskellLicense:MITStargazers:699Issues:23Issues:111

DSLsofMath

Domain-Specific Languages of Mathematics

Language:HaskellLicense:BSD-3-ClauseStargazers:392Issues:19Issues:43

mezzo

A Haskell library for typesafe music composition

Language:HaskellLicense:MITStargazers:350Issues:15Issues:4

quickspec

Equational laws for free

Language:HaskellLicense:BSD-3-ClauseStargazers:247Issues:14Issues:40

spartan-type-theory

Spartan type theory

Language:OCamlLicense:MITStargazers:245Issues:6Issues:2

TypedFlow

Typed frontend to TensorFlow and higher-order deep learning

Language:HaskellLicense:LGPL-3.0Stargazers:156Issues:9Issues:4

hipspec

A hip inductive theorem prover!

Language:HaskellLicense:GPL-3.0Stargazers:87Issues:9Issues:24

grep

Plugin to integrate Grep search tools with Vim

Language:Vim ScriptLicense:MITStargazers:75Issues:7Issues:12

ecosystem-proposals

Proposals for the Haskell Ecosystem

speculate

Speculate laws about Haskell functions

Language:HaskellLicense:BSD-3-ClauseStargazers:30Issues:6Issues:12

io-sim

Haskell's IO simulator which closely follows core packages (base, async, stm).

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

quickcheck-dynamic

A library for stateful property-based testing

Language:HaskellLicense:Apache-2.0Stargazers:23Issues:15Issues:14

petsc-hs

Haskell bindings for PETSc and SLEPc

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

sde

Numerical experiments with stochastic differential equations

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

ireal

Haskell library for exact real arithmetic

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

haskelzinc

Constraint programming in Haskell through MiniZinc

Language:HaskellLicense:BSD-3-ClauseStargazers:8Issues:13Issues:0

bibfetch

Scripts for fetching BibTeX entries (from Google Scholar and DBLP)

Language:PerlLicense:BSD-3-ClauseStargazers:7Issues:0Issues:0

co-feldspar

raw-feldspar with software hardware co-design

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

DATX02-17-26

Bachelors thesis investigating the automated assessment of programming exercises

Language:HaskellLicense:GPL-2.0Stargazers:6Issues:7Issues:128

GRACe

The Constraint Functional Programming DSL for the GRACeFUL project.

Language:HaskellLicense:BSD-3-ClauseStargazers:6Issues:13Issues:19

Hatlab

Plotting with Gnuplot in Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:4Issues:8Issues:0

DSL-WP

Open access material associated with the DSL workpackage of https://www.graceful-project.eu/

Language:TeXLicense:BSD-3-ClauseStargazers:3Issues:9Issues:1

RealTesting

Testing using numerical methods

Language:CStargazers:2Issues:4Issues:0