Discover Sweden's Leading Open Source Projects: Explore top-notch open source initiatives hailing from the vibrant tech community of Sweden.
valderman/haste-compiler
A GHC-based Haskell to JavaScript compileroden-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 Theoryvalderman/selda
A type-safe, high-level SQL library for Haskellowickstrom/komposition
The video editor built for screencasterskqr/gists
With way too messy gist.github pages this is an attempt to organise my snippetsowickstrom/gi-gtk-declarative
Declarative GTK+ programming in HaskellDeltaphish/UwUpp
The next generation esoteric languagenick8325/quickspec
Equational laws for freeLuxMiranda/herms
🍲🍴 A command-line manager for delicious kitchen recipesennocramer/floskell
Floskell is a flexible Haskell source code pretty printer.jyp/styx
A nix-based Haskell project managerGU-CLASP/TypedFlow
Typed frontend to TensorFlow and higher-order deep learningsonyxperiadev/dataflow
Render graphs using a declarative markup.owickstrom/pandoc-include-code
A Pandoc filter for including code from source filesowickstrom/idris-vimscript
Compile Idris to Vimscript, like you always wanted.augustss/djinn
Generate Haskell code from a typeGrammaticalFramework/gf-core
Grammatical Framework core: compiler, shell & runtimeskolmodin/binary
Efficient, pure binary serialisation using ByteStrings in Haskell.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 variancesowickstrom/motor
Type-safe effectful state machines in Haskellgregorulm/h2048
An implementation of the game 2048 in Haskellblackhole89/macros
A more powerful C/C++ preprocessor.felixmulder/haskell-in-production
Companion to the Haskell in Production seriesTerenceNg03/mueval
A secure sandboxed Haskell interpreter for pure function evaluationjyp/nano-Agda
Tiny type-checker with dependent typesmortberg/yacctt
yacctt: Yet Another Cartesian Cubical Type Theorypatrikja/autosar
A simplified model of programming in autosardag/all-about-monads
Attempt to port All About Monads to HaskellWikipontarius/pontarius-xmpp
An XMPP client library for Haskell.fgaz/shine
Declarative graphics for the browserkolmodin/herl
Erlang BEAM emulator in Haskellmelted/idris-chez
An idris backend compiling to chez schemem0ar/safe-streaming
Adaptation of the streaming library for increased safety through linear types. Summer of Haskell 2017 project.etnt/Haskerl
Haskell subset compiled to the Beam machine.fgaz/hackertyper
"Hack" like a programmer in movies and games! Inspired by hackertyper.netm0ar/lollipop
A general purpose programming language with linear typessvenssonjoel/Obsidian
Obsidian Language Repositoryleftaroundabout/manifolds
Coordinate-free hypersurfaces as Haskell typeshaskell-at-work/domain-modelling-with-haskell
nick8325/twee
An equational theorem prover based on Knuth-Bendix completionmewhhaha/apecs-unity-tutorial-haskell
Recreating the Unity Roguelike Tutorial project in HaskellAirini/FEECa
FEECa: Finite Element Exterior Calculus in Haskelljyp/prettiest
The Prettiest Printerkolmodin/hinotify
Haskell binding to inotifyowickstrom/pandoc-emphasize-code
A Pandoc filter for emphasizing code in fenced blocksennocramer/monad-dijkstra
Haskell monad transformer for weighted, non-deterministic computationTritlo/PropR
Genetic program repair using GHCleftaroundabout/Symbolic-math-HaTeX
Convenient Haskell syntax for writing in LaTeX math expressionsDeltaphish/UwU-lang
an esoteric programming language UwUagustinmista/mdviewer
Minimalistic Markdown viewer/converter with built-in Css stylesheets support.leftaroundabout/linearmap-family
Purely-functional, coordinate-free linear algebravalderman/lambdascript
Ugly prototype language for strongly typed, lazy, purely functional client side web scriptingTritlo/ExampleHolePlugin
emilaxelsson/syntactic
Generic representation and manipulation of abstract syntaxvalderman/ghc-simple
Simplified interface to the GHC APIfieldstrength/ansigraph
Terminal-based graphing via ANSI and Unicodeandreasabel/helf
Haskell implementation of the Edinburgh Logical Frameworkgagandeepb/Frames-beam
Accessing Postgres in a data frame in Haskellemilaxelsson/imperative-edsl
Deep embedding of imperative programs with code generationemilaxelsson/trackit
A command-line tool for live monitoringshayan-najd/MiniFeldspar
mortberg/AlgTop
Haskell library of algebraic topologybryal/carth
The Carth programming language. Mirror of https://sr.ht/~jojo/Carth/owickstrom/fast-and-fearless-evolution-of-server-side-webapps
Slides and code examples for a talkrickynils/nixrbd
Remote boot server for NixOS clientsleftaroundabout/constrained-categories
Constrained versions of the Haskell standard category-theory-based type classes, using ConstraintKindsmeck/alfred-hoogle
Search Hoogle with AlfredNicklasBoto/funQ
Functional Quantum Programmingfelixmulder/hedgehog-servant
Property based testing for Servant using Hedgehognick8325/equinox
Paradox model finder and equinox theorem prover for first-order logic.andreasabel/java-adt
A tool to create immutable algebraic data structures and visitors for Java (such as abstract syntax trees).patrikja/AFPcourse
http://www.cse.chalmers.se/edu/course/afp/dtekcth/plugg
iffyio/pong.hs
A pong game written in haskellleftaroundabout/dumb-cas
A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.myshov/programming_in_haskell
My Solutions for Programming in Haskell by Graham Huttonemilaxelsson/quirinius
A simple type-safe query EDSLleftaroundabout/dynamic-plot
Interactive windows for displaying Haskell-generated diagramsAbhiroop/okasaki
A Haskell Collections library. [WIP]sjpeterson/quark
Quark - the editor the world doesn't needkolmodin/spdy
Implementation of the SPDY Protocol in Haskelltrez/LazyNES
NES emulator written in haskellvalderman/shellmate
Write type-safe shell scripts in Haskellshayan-najd/QFeldspar
QFeldspar: a QDSL front-end for MiniFeldsparandreasabel/agda2lagda
Simple conversion from Agda text to literate Agda text.folsen/opaleye-gen
A lightweight program to generate Opaleye boilerplate from a databaseMaximilianAlgehed/VisPar
S. Marlow's Par monad with dataflow graph outputjyp/sctt
Type-Theory in Sequent Calculusowickstrom/domain-modeling-with-haskell-data-structures
A talk given at the Polyglot meetup in CPH, March 2018finnsson/test-generator
Automagically (using Template Haskell) generates the Haskell-code you need when using HUnitfieldstrength/aeson-deriving
Data types for compositional, type-directed serializationnick8325/jukebox
A theorem proverjyp/topics
Various interesting topics I'm looking atmagthe/sandi
Data encoding library for Haskell.forsyde/forsyde-shallow
ForSyDe's Haskell-embedded Domain Specific Languagejyp/glpk-hs
Haskell bindings to glpkfinnsson/hs2graphviz
Generate graphviz dot-code by analyzing Haskell source codeLove Open Source and this site? Check out how you can help us