dylan-thinnes/lambda-calculus dylan-thinnes/lambda-calculus

  • Stars
    star
    1
  • Language
    Haskell
  • Created almost 3 years ago
  • Updated almost 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
dylan-thinnes/lambda-calculus
github

dylan-thinnes

Reviews

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

Repository Details

Tinkering with Lambda Calculus (Binary representations, DeBruijn indices, Automatic Church encoding)

More Repositories

1

slide-rules-generator

A library for generating slide rules using Haskell and `diagrams`.
Haskell
64
star
2

solsys

Solsys at https://solsys.xyz is a prime factorizing solar system generator.
JavaScript
6
star
3

babys-first-sim

A rudimentary combinatorial circuit simulator.
Haskell
3
star
4

present

presentation system for bash - along with sample presentation on bash
Shell
3
star
5

multifuck

Brainfuck, with extensions as I think of them. So far: threading, multidimensional memory
Rust
3
star
6

conway-wechsler

Convert numbers into their Conway-Wechsler form - Command-line utility & website (using wasm)
Haskell
2
star
7

simpler-slide-rules

Trying to minimize the featureset of slide-rules-generator into something easier to introduce to end-users but ultimately less powerful
Rust
1
star
8

solsys-c

A (hopefully) much better attempt at implementing Solsys in straight C/C++
C
1
star
9

haskulator

A quick haskell scratchpad, useful for calculations but extensible to quite a bit more.
Shell
1
star
10

bus-times-display

Displays the bus times. Flask reverse proxy, VueJS renderer, simple X server xinit config.
HTML
1
star
11

stepper-interpreter

A stepper-interpreter for the Haskell programming language
Haskell
1
star
12

aoc-2020

Advent of Code, 2020
Zig
1
star
13

domainatrix

Keeping track of the hellscape that is the University of Edinburgh's DNS, one submit at a time.
JavaScript
1
star
14

me-four

The newest and latest edition of my personal site. Now written in Bash!(?)
Shell
1
star
15

aoc-2021

Advent of Code, 2021
Haskell
1
star
16

solsys-functional

SolSys, Rewritten Using Functional Programming
Haskell
1
star
17

youtube-archive

Scrapes and saves youtube videos from different sources while keeping track of previously downloaded videos.
JavaScript
1
star
18

more-simple-sliderules

Another simple slide rule generator library. This one tries to really limit itself to only inventing the minimal abstraction when the need arises.
Haskell
1
star