Maximilian Algehed (MaximilianAlgehed)

MaximilianAlgehed

Geek Repo

Company:Quviq AB

Location:Gothenburg

Github PK Tool:Github PK Tool

ezoic increase your site revenue

Maximilian Algehed's repositories

VisPar

S. Marlow's Par monad with dataflow graph output

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

DCC

DCC embedded in Haskell

Language:HaskellStargazers:3Issues:0Issues:0

Boids

Playing with boids

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

DynamicIFCTheoremsForFree

Using parametricity to prove noninterference for LIO and Faceted Values

Language:AgdaStargazers:1Issues:0Issues:0

HTTS

What may one day turn into the Haskell Text Templating System

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

LambdaDays

Lambda days QuickSpec demo

Language:HaskellStargazers:1Issues:0Issues:0

Multef

Multi-Execution Framework

Language:CoqStargazers:1Issues:0Issues:0
Language:HaskellLicense:NOASSERTIONStargazers:1Issues:0Issues:0
Language:HaskellStargazers:1Issues:0Issues:0

co-feldspar

raw-feldspar with software hardware co-design

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

cyphy-1

Modelling and Testing Cyber-Physical Systems in Haskell

Language:HaskellLicense:MITStargazers:0Issues:0Issues:0

DSLsofMath

Domain Specific Languages of Mathematics

Language:TeXLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

FL.vim

FL vim mode

Language:Vim scriptStargazers:0Issues:0Issues:0

FOL

First Order Logic in Haskell

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

HPPBTT

Hard Problems for Property Based Testing Tools

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

LCFStyleTheoremProver

LCF Style theorem prover implementation

Language:HaskellStargazers:0Issues:0Issues:0

Metric

Painless typing for units

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

PlotEDSL

An Embedded domain specific language for generating plots for the web and python

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

plutus

The Plutus language implementation and tools

License:Apache-2.0Stargazers:0Issues:0Issues:0
Language:HaskellStargazers:0Issues:0Issues:0

quickspec

Equational laws for free

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

TransfiniteArraysInQuickSpec

Transfinite Arrays in QuickSpec

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