benjaminfjones/export_pass

Stars
1
Language
Haskell
Created almost 8 years ago
Updated almost 8 years ago

benjaminfjones/export_pass

benjaminfjones

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

Export tools for pass and import tools for LastPass

presburger

WIP - Library for efficient Presburger Arithmetic

fpga-tunes

Audio synthesis using an FPGA

cortho

Compiler project for a small core functional language

advent-of-code-2019

Advent of Code 2019 Solutions in Haskell and Python

theseus

A labyrinth adventure game written in Haskell

Fortsetzung

Experiments with Continuations, callCC, and backtracking

schnauze

Another Scheme interpreter

math

Computational Mathematics Projects

atom-fib

Atom (Haskell eDSL) example of device/driver pair

rust-lists

Linked list implementations in Rust

nixfiles

Personal machine configuration using Nix home-manager

advent-of-code-2016

Advent of Code 2016 Submissions (all Haskell)

sage-devel

Sage development code

trex

Prototype ARM Cortex-M4 Assembly Programs and Tools

boyo

Hardware specification experiments in CLaSH

advent-of-code-2018

Advent of Code 2018

advent-of-code-2022

p12hex

Hex format disassembler for the PIC12F family of microcontrollers

ffpigeon

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

tilde-club-bfj

Website and blog hosted at tilde.club

reckonlean

Notes on the Handbook of Practical Logic -- Lean Edition