jumper149/AoC2021 jumper149/AoC2021

  • Stars
    star
    4
  • Rank 3,296,324 (Top 66 %)
  • Language Idris
  • Created almost 3 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jumper149/AoC2021
github

jumper149

Reviews

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

Repository Details

More Repositories

1

blugon

simple and configurable Blue Light Filter for X
Python
129
star
2

xpm-status-icons

A set of Icons for any status bar
Shell
33
star
3

dotfiles

Dotfiles for my Linux-Systems
Python
26
star
4

i3lock-script

i3lock fork with option to execute script on failed authorization (unmaintained)
C
11
star
5

go

A Webserver for a Multiplayer Game
Haskell
7
star
6

deriving-trans

Derive Instances for Monad Transformer Stacks
Haskell
6
star
7

haskeme

Compiler from I- to S-Expressions for the Scheme Programming Language
Haskell
6
star
8

blucontrol

Configurable blue light filter
Haskell
5
star
9

monad-control-identity

Stronger classes than monad-control
Haskell
4
star
10

idris2-scientific

Numbers in scientific notation
Idris
4
star
11

homepage

Felix Springer's Homepage
Haskell
3
star
12

idris2-json

Idris JSON library
Idris
2
star
13

multitonal

Haskell library to compose multitonal music
Haskell
1
star
14

AoC2020

My solutions to the Advent of Code 2020 exercises
Idris
1
star
15

wai-control

Run wai Applications in IO based monads
Haskell
1
star