Matthías Páll Gissurarson's Projects
A Docker image with EasyCrypt, Z3, Alt-Ergo, and Emacs with Proof-General and Doom Emacs preinstalled :D
A hole-fit plugin using ECTAs
you will be surrounded (surround.vim for evil, the extensible vi layer)
Tritlo/FileDeleter
A calculator for carbon offset required for given flights using FlightAware and SeatGuru
A repo for the Functional Programming course at Chalmers and its dev container.
A simulator simulating the behavior of life-like cellular automata, with interaction through GTK2
Google Calendar Command Line Interface
Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list ([email protected]). First time contributors are encouraged to get started by just sending a Pull Request.
Proposed compiler and language changes for GHC and GHC/Haskell
A docker definition for a GHC to cross compile to a Raspberry Pi
A plugin that tries to solve wanted constraints inlolving symmetric, associative and idempotent operations laws for certain operations.
Nix (shell) expression for working on GHC
A web client for WeeChat
A socket.io chat server/client written in go using the martini framework.
The Constraint Functional Programming DSL for the GRACeFUL project.
GraphQL framework for Python
Graphene Django integration
Haskell GraphQL implementation
A Tree/Plant Simulator experiment in Haskell
A habit tracker app which treats your goals like a Role Playing Game.
Haskell Documentation Tool
An example of how you can call Haskell from Python for ghc 8.0.2
Haskell API search engine
updates to hpc for my ghc branch
The assignments I made in the HPC-A course in the University of Iceland, autumn 2014
haskell memory