Tritlo/PropR

Stars
27
Rank 876,442 (Top 18 %)
Language
Haskell
License
MIT License
Created over 3 years ago
Updated 2 months ago

Tritlo/PropR

Tritlo

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

Genetic program repair using GHC

ExampleHolePlugin

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.

AdventOfCode2020

AdventOfCode2020

AoC22

Advent of Code '22 in Haskell

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.

nix-configuration

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.

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)

Rokfraedi

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

AoC2017

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

vault

A dockerized vault server

sipML5

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

Interstellar

Interstellar Haskell Game Experiment

OperatingSystems2013

Projects in OS, TOL401G

HFPTest

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

rUglan

App fyrir ugluna (unofficial)

mac-lib-plugin

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

Tebert

A stripped down implementation of Q*bert in WebGL

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.

AdaBoost

AdaBoost from A.I. A Modern Approach in Haskell

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.