benjaminfjones/advent-of-code-2018 benjaminfjones/advent-of-code-2018

  • Stars
    star
    1
  • Language
    Python
  • License
    BSD 3-Clause "New...
  • Created almost 6 years ago
  • Updated almost 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
benjaminfjones/advent-of-code-2018
github

benjaminfjones

Reviews

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

Repository Details

Advent of Code 2018

More Repositories

1

presburger

WIP - Library for efficient Presburger Arithmetic
Rust
3
star
2

fpga-tunes

Audio synthesis using an FPGA
Verilog
3
star
3

cortho

Compiler project for a small core functional language
Haskell
3
star
4

advent-of-code-2019

Advent of Code 2019 Solutions in Haskell and Python
Haskell
2
star
5

theseus

A labyrinth adventure game written in Haskell
Haskell
2
star
6

Fortsetzung

Experiments with Continuations, callCC, and backtracking
Haskell
2
star
7

schnauze

Another Scheme interpreter
Haskell
2
star
8

math

Computational Mathematics Projects
Python
2
star
9

atom-fib

Atom (Haskell eDSL) example of device/driver pair
C
1
star
10

rust-lists

Linked list implementations in Rust
Rust
1
star
11

nixfiles

Personal machine configuration using Nix home-manager
Vim Script
1
star
12

advent-of-code-2016

Advent of Code 2016 Submissions (all Haskell)
Haskell
1
star
13

sage-devel

Sage development code
Python
1
star
14

trex

Prototype ARM Cortex-M4 Assembly Programs and Tools
Assembly
1
star
15

export_pass

Export tools for pass and import tools for LastPass
Haskell
1
star
16

boyo

Hardware specification experiments in CLaSH
Haskell
1
star
17

advent-of-code-2022

Perl
1
star
18

p12hex

Hex format disassembler for the PIC12F family of microcontrollers
Haskell
1
star
19

ffpigeon

Simple proof developments of pigeon hole principal like theorems in Lean 4
Lean
1
star
20

tilde-club-bfj

Website and blog hosted at tilde.club
Shell
1
star
21

reckonlean

Notes on the Handbook of Practical Logic -- Lean Edition
Lean
1
star