Tritlo/AdventOfCode2020 Tritlo/AdventOfCode2020

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    Haskell
  • License
    MIT License
  • Created almost 4 years ago
  • Updated almost 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Tritlo/AdventOfCode2020
github

Tritlo

Reviews

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

Repository Details

AdventOfCode2020

More 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

ecta-plugin

A hole-fit plugin using ECTAs
Haskell
3
star
16

dotfiles

My dotfiles for OSX
Vim Script
3
star
17

SizedMonads

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

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
19

AdventOfCode2021

Haskell
2
star
20

Nook

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

OS

Haskell
2
star
22

TimeTest

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

fp-course

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

nix-configuration

Nix
2
star
25

TypedHolesDemo

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

Agricola

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

Grow

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

DockerizedMurmur

A dockerized murmur (mumble server)
1
star
29

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
30

vault

A dockerized vault server
1
star
31

Rokfraedi

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

AdaBoost

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

sipML5

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

Interstellar

Interstellar Haskell Game Experiment
Haskell
1
star
35

OperatingSystems2013

Projects in OS, TOL401G
Java
1
star
36

rUglan

App fyrir ugluna (unofficial)
Java
1
star
37

Tebert

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

HFPTest

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

feat-slider

Haskell
1
star
40

AOC2019

Haskell
1
star
41

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
42

quickspec

quickspec fork
Haskell
1
star
43

WebGL

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

GameOfLife

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

BangsimonStocks

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

AoC2017

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