benjaminfjones/ffpigeon benjaminfjones/ffpigeon

  • Stars
    star
    1
  • Language Lean
  • Created over 1 year ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
benjaminfjones/ffpigeon
github

benjaminfjones

Reviews

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

Repository Details

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

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-2018

Advent of Code 2018
Python
1
star
18

advent-of-code-2022

Perl
1
star
19

p12hex

Hex format disassembler for the PIC12F family of microcontrollers
Haskell
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