Tritlo/ExampleHolePlugin

Stars
24
Rank 986,245 (Top 20 %)
Language
Haskell
Created about 6 years ago
Updated over 4 years ago

Tritlo/ExampleHolePlugin

Tritlo

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

PropR

Genetic program repair using GHC

JerbalSpaceProgramWebsite

The Jerbal Space Program

TACOS

TACOS (There's a Cat On the Sundeck) Detector

FlightCarbonOffset

A calculator for carbon offset required for given flights using FlightAware and SeatGuru

spectacular

JerbalSpaceProgram

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

writ-plugin

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

ghc-typelits-extra-sianormalise

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

dynamic-haskell-plugin

AWS-LARPI

Package Haskell functions for easy use on AWS Lambda

Stundatafla

Stundatöflu generator fyrir HÍ

go-chat

A socket.io chat server/client written in go using the martini framework.

AoC22

Advent of Code '22 in Haskell

AdventOfCode2020

AdventOfCode2020

ecta-plugin

A hole-fit plugin using ECTAs

dotfiles

My dotfiles for OSX

SizedMonads

An (very likely incorrect!) implementation of Sized Monads.

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

AdventOfCode2021

Nook

A synthesizer that uses GHC's built-in synthesis features.

OS

TimeTest

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

fp-course

A repo for the Functional Programming course at Chalmers and its dev container.

nix-configuration

TypedHolesDemo

This is a demo showing the usefulness of valid substitutions for typed holes

Agricola

Agricola: All Creatures Big and Small with an NCurses UI.

Grow

A Tree/Plant Simulator experiment in Haskell

DockerizedMurmur

A dockerized murmur (mumble server)

mac-lib-plugin

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

vault

A dockerized vault server

Rokfraedi

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

AdaBoost

AdaBoost from A.I. A Modern Approach in Haskell

sipML5

A copy of the svn repo to git, to facilitate code searching

Interstellar

Interstellar Haskell Game Experiment

OperatingSystems2013

Projects in OS, TOL401G

rUglan

App fyrir ugluna (unofficial)

Tebert

A stripped down implementation of Q*bert in WebGL

HFPTest

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

feat-slider

AOC2019

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.

quickspec

WebGL

WebGL projects for the Computer Graphics course at the University of Iceland, spring 2014.

GameOfLife

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

BangsimonStocks

A rudimentary program for examining stocks, and some basic technical analysis on them.

AoC2017

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