Matthías Páll Gissurarson (@Tritlo)
github

Tritlo

Twitter logo Share LinkedIn logo Share Facebook logo Share

Top repositories

1

PropR

Genetic program repair using GHC
Haskell
28
star
2

ExampleHolePlugin

Haskell
24
star
3

JerbalSpaceProgramWebsite

The Jerbal Space Program
JavaScript
16
star
4

TACOS

TACOS (There's a Cat On the Sundeck) Detector
Python
16
star
5

FlightCarbonOffset

A calculator for carbon offset required for given flights using FlightAware and SeatGuru
Python
10
star
6

spectacular

Haskell
9
star
7

JerbalSpaceProgram

A game where you design spaceship parts and spaceships from those parts, and then blast off into space!
JavaScript
8
star
8

writ-plugin

A type-checker plugin for weak runtime-irrelevant typing in Haskell
Haskell
7
star
9

ghc-typelits-extra-sianormalise

A plugin that tries to solve wanted constraints inlolving symmetric, associative and idempotent operations laws for certain operations.
Haskell
5
star
10

dynamic-haskell-plugin

Haskell
5
star
11

AWS-LARPI

Package Haskell functions for easy use on AWS Lambda
Haskell
4
star
12

Stundatafla

Stundatöflu generator fyrir HÍ
Python
3
star
13

go-chat

A socket.io chat server/client written in go using the martini framework.
Go
3
star
14

AoC22

Advent of Code '22 in Haskell
Haskell
3
star
15

AdventOfCode2020

AdventOfCode2020
Haskell
3
star
16

ecta-plugin

A hole-fit plugin using ECTAs
Haskell
3
star
17

dotfiles

My dotfiles for OSX
Vim Script
3
star
18

SizedMonads

An (very likely incorrect!) implementation of Sized Monads.
Haskell
3
star
19

PiSkjerm

A small program that fetches upcoming departures of nearby västtrafik bus stops and outputs them to an inky pHat attached to a RPi Zero W
Haskell
3
star
20

AdventOfCode2021

Haskell
2
star
21

Nook

A synthesizer that uses GHC's built-in synthesis features.
Haskell
2
star
22

OS

Haskell
2
star
23

TimeTest

TimeTest shows that the `getZonedTime` crashes with a segmentation fault when cross-compiled.
Haskell
2
star
24

fp-course

A repo for the Functional Programming course at Chalmers and its dev container.
Dockerfile
2
star
25

nix-configuration

Nix
2
star
26

TypedHolesDemo

This is a demo showing the usefulness of valid substitutions for typed holes
Haskell
2
star
27

Agricola

Agricola: All Creatures Big and Small with an NCurses UI.
Haskell
2
star
28

Grow

A Tree/Plant Simulator experiment in Haskell
Haskell
1
star
29

DockerizedMurmur

A dockerized murmur (mumble server)
1
star
30

mac-lib-plugin

This is a fork of https://bitbucket.org/russo/mac-lib/ with an added Prelude and a type-checker plugin
Haskell
1
star
31

vault

A dockerized vault server
1
star
32

Rokfraedi

Glósur í Inngang að Rökfræði hjá Reyni Axelssyni 2014
TeX
1
star
33

AdaBoost

AdaBoost from A.I. A Modern Approach in Haskell
Haskell
1
star
34

sipML5

A copy of the svn repo to git, to facilitate code searching
JavaScript
1
star
35

Interstellar

Interstellar Haskell Game Experiment
Haskell
1
star
36

OperatingSystems2013

Projects in OS, TOL401G
Java
1
star
37

rUglan

App fyrir ugluna (unofficial)
Java
1
star
38

Tebert

A stripped down implementation of Q*bert in WebGL
JavaScript
1
star
39

HFPTest

An example of how you can call Haskell from Python for ghc 8.0.2
Python
1
star
40

feat-slider

Haskell
1
star
41

AOC2019

Haskell
1
star
42

2-parasitic-number-calculator

A 2-parasitic number (in base 10) is a positive natural number which can be multiplied by 2 by moving the rightmost digit of its decimal representation to the front.
Python
1
star
43

quickspec

quickspec fork
Haskell
1
star
44

WebGL

WebGL projects for the Computer Graphics course at the University of Iceland, spring 2014.
JavaScript
1
star
45

GameOfLife

A simulator simulating the behavior of life-like cellular automata, with interaction through GTK2
Python
1
star
46

BangsimonStocks

A rudimentary program for examining stocks, and some basic technical analysis on them.
Python
1
star
47

AoC2017

My advent of code solutions for 2017. Most of these are just quick hacks to "git'r done"
Haskell
1
star