splintersuidman/aoc2021 splintersuidman/aoc2021

  • Stars
    star
    1
  • Language Agda
  • License
    GNU General Publi...
  • Created almost 3 years ago
  • Updated almost 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
splintersuidman/aoc2021
github

splintersuidman

Reviews

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

Repository Details

My solutions for Advent of Code 2021

More Repositories

1

blur

A chunkwm plugin that blurs your wallpaper when you have open windows.
Objective-C++
44
star
2

nerdbar.widget

Ãœbersicht bar with support for chunkwm.
CoffeeScript
10
star
3

configuration

My home and system configuration
Nix
7
star
4

chunkwm-rs

A Rust 'bridge' for creating chunkwm plugins.
Rust
6
star
5

zermelo-rs

A Rust crate that retrieves a schedule from Zermelo.
Rust
3
star
6

chunkwm-rs-template

A template for using chunkwm-rs.
Rust
3
star
7

game-of-life

A Game of Life emulation with support for Life 1.06, Life 1.05, RLE, and plaintext files.
Rust
2
star
8

combinatory-logic

Explorations in combinatory logic with Agda
Agda
2
star
9

perceptron

A perceptron implementation in Rust.
Rust
1
star
10

BFAL

Brainfuck Abstraction Language.
Haskell
1
star
11

cli-for-zermelo

A command line application written in Rust that retrieves a schedule from Zermelo.
Rust
1
star
12

tini

tini — There Is No Infix — is a tiny functional programming language.
Rust
1
star