πΈπͺ Made in Sweden
Discover Sweden's Leading Open Source Projects: Explore top-notch open source initiatives hailing from the vibrant tech community of Sweden.
TOP Haskell Projects
valderman/haste-compiler
A GHC-based Haskell to JavaScript compiler
oden-lang/oden
The Oden Programming Language (NO LONGER IN ACTIVE DEVELOPMENT)
nick8325/quickcheck
Automatic testing of Haskell programs.
mortberg/cubicaltt
Experimental implementation of Cubical Type Theory
valderman/selda
A type-safe, high-level SQL library for Haskell
owickstrom/komposition
The video editor built for screencasters
kqr/gists
With way too messy gist.github pages this is an attempt to organise my snippets
owickstrom/gi-gtk-declarative
Declarative GTK+ programming in Haskell
augustss/MicroHs
Haskell implemented with combinators
Deltaphish/UwUpp
The next generation esoteric language
nick8325/quickspec
Equational laws for free
LuxMiranda/herms
π²π΄ A command-line manager for delicious kitchen recipes
ennocramer/floskell
Floskell is a flexible Haskell source code pretty printer.
jyp/styx
A nix-based Haskell project manager
GU-CLASP/TypedFlow
Typed frontend to TensorFlow and higher-order deep learning
sonyxperiadev/dataflow
Render graphs using a declarative markup.
owickstrom/pandoc-include-code
A Pandoc filter for including code from source files
owickstrom/idris-vimscript
Compile Idris to Vimscript, like you always wanted.
augustss/djinn
Generate Haskell code from a type
GrammaticalFramework/gf-core
Grammatical Framework core: compiler, shell & runtimes
bjornbm/dimensional
Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+).
andreasabel/miniagda
A prototypical dependently typed languages with sized types and variances
owickstrom/motor
Type-safe effectful state machines in Haskell
gregorulm/h2048
An implementation of the game 2048 in Haskell
blackhole89/macros
A more powerful C/C++ preprocessor.
felixmulder/haskell-in-production
Companion to the Haskell in Production series
TerenceNg03/mueval
A secure sandboxed Haskell interpreter for pure function evaluation
jyp/nano-Agda
Tiny type-checker with dependent types
mortberg/yacctt
yacctt: Yet Another Cartesian Cubical Type Theory
patrikja/autosar
A simplified model of programming in autosar
dag/all-about-monads
Attempt to port All About Monads to HaskellWiki
pontarius/pontarius-xmpp
An XMPP client library for Haskell.
fgaz/shine
Declarative graphics for the browser
kolmodin/herl
Erlang BEAM emulator in Haskell
m0ar/safe-streaming
Adaptation of the streaming library for increased safety through linear types. Summer of Haskell 2017 project.
melted/idris-chez
An idris backend compiling to chez scheme
nick8325/twee
An equational theorem prover based on Knuth-Bendix completion
m0ar/lollipop
A general purpose programming language with linear types
fgaz/hackertyper
"Hack" like a programmer in movies and games! Inspired by hackertyper.net
etnt/Haskerl
Haskell subset compiled to the Beam machine.
svenssonjoel/Obsidian
Obsidian Language Repository
leftaroundabout/manifolds
Coordinate-free hypersurfaces as Haskell types
haskell-at-work/domain-modelling-with-haskell
mewhhaha/apecs-unity-tutorial-haskell
Recreating the Unity Roguelike Tutorial project in Haskell
jyp/prettiest
The Prettiest Printer
Airini/FEECa
FEECa: Finite Element Exterior Calculus in Haskell
kolmodin/hinotify
Haskell binding to inotify
leftaroundabout/Symbolic-math-HaTeX
Convenient Haskell syntax for writing in LaTeX math expressions
Tritlo/PropR
Genetic program repair using GHC
owickstrom/pandoc-emphasize-code
A Pandoc filter for emphasizing code in fenced blocks
ennocramer/monad-dijkstra
Haskell monad transformer for weighted, non-deterministic computation
Deltaphish/UwU-lang
an esoteric programming language UwU
agustinmista/mdviewer
Minimalistic Markdown viewer/converter with built-in Css stylesheets support.
leftaroundabout/linearmap-family
Purely-functional, coordinate-free linear algebra
valderman/lambdascript
Ugly prototype language for strongly typed, lazy, purely functional client side web scripting
emilaxelsson/syntactic
Generic representation and manipulation of abstract syntax
emilaxelsson/trackit
A command-line tool for live monitoring
Tritlo/ExampleHolePlugin
valderman/ghc-simple
Simplified interface to the GHC API
fieldstrength/ansigraph
Terminal-based graphing via ANSI and Unicode
andreasabel/helf
Haskell implementation of the Edinburgh Logical Framework
shayan-najd/MiniFeldspar
emilaxelsson/imperative-edsl
Deep embedding of imperative programs with code generation
mortberg/AlgTop
Haskell library of algebraic topology
owickstrom/fast-and-fearless-evolution-of-server-side-webapps
Slides and code examples for a talk
bryal/carth
The Carth programming language. Mirror of https://sr.ht/~jojo/Carth/
meck/alfred-hoogle
Search Hoogle with Alfred
rickynils/nixrbd
Remote boot server for NixOS clients
leftaroundabout/constrained-categories
Constrained versions of the Haskell standard category-theory-based type classes, using ConstraintKinds
felixmulder/hedgehog-servant
Property based testing for Servant using Hedgehog
NicklasBoto/funQ
Functional Quantum Programming
nick8325/equinox
Paradox model finder and equinox theorem prover for first-order logic.
dtekcth/plugg
augustss/MicroCabal
Reimplementation of a subset of Cabal
patrikja/AFPcourse
http://www.cse.chalmers.se/edu/course/afp/
iffyio/pong.hs
A pong game written in haskell
andreasabel/java-adt
A tool to create immutable algebraic data structures and visitors for Java (such as abstract syntax trees).
myshov/programming_in_haskell
My Solutions for Programming in Haskell by Graham Hutton
leftaroundabout/dumb-cas
A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.
emilaxelsson/quirinius
A simple type-safe query EDSL
sjpeterson/quark
Quark - the editor the world doesn't need
leftaroundabout/dynamic-plot
Interactive windows for displaying Haskell-generated diagrams
kolmodin/spdy
Implementation of the SPDY Protocol in Haskell
shayan-najd/QFeldspar
QFeldspar: a QDSL front-end for MiniFeldspar
Abhiroop/okasaki
A Haskell Collections library. [WIP]
trez/LazyNES
NES emulator written in haskell
valderman/shellmate
Write type-safe shell scripts in Haskell
andreasabel/agda2lagda
Simple conversion from Agda text to literate Agda text.
nick8325/jukebox
A theorem prover
folsen/opaleye-gen
A lightweight program to generate Opaleye boilerplate from a database
fieldstrength/aeson-deriving
Data types for compositional, type-directed serialization
owickstrom/domain-modeling-with-haskell-data-structures
A talk given at the Polyglot meetup in CPH, March 2018
finnsson/test-generator
Automagically (using Template Haskell) generates the Haskell-code you need when using HUnit
MaximilianAlgehed/VisPar
S. Marlow's Par monad with dataflow graph output
jyp/sctt
Type-Theory in Sequent Calculus
forsyde/forsyde-shallow
ForSyDe's Haskell-embedded Domain Specific Language
jyp/glpk-hs
Haskell bindings to glpk
magthe/sandi
Data encoding library for Haskell.
emilaxelsson/ho-rewriting
A generic Haskell library for expressing rewrite rules with safe treatment of variables and binders
jyp/topics
Various interesting topics I'm looking at