kach/haskell-lambda-calculus kach/haskell-lambda-calculus

  • Stars
    star
    7
  • Rank 2,294,772 (Top 46 %)
  • Language
    Haskell
  • Created almost 10 years ago
  • Updated almost 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
kach/haskell-lambda-calculus
github

kach

Reviews

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

Repository Details

A simple lambda calculus interpreter in Haskell.

More Repositories

1

nearley

📜🔜🌲 Simple, fast, powerful parser toolkit for JavaScript.
JavaScript
3,584
star
2

gradient-descent-the-ultimate-optimizer

Code for our NeurIPS 2022 paper
Python
359
star
3

recreational-rosette

Some fun examples of solving problems with symbolic execution
Racket
109
star
4

tower-of-power

What is hip? Tell me, tell me (if you think you know)
Python
108
star
5

memo

A language for mental models
Jupyter Notebook
28
star
6

designing-perceptual-puzzles-by-differentiating-probabilistic-programs

Supplementary materials for our SIGGRAPH 2022 paper
Jupyter Notebook
27
star
7

shabdle

Shabdle is Wordle in Hindi
Mathematica
24
star
8

neural-ambigrams

Generating digits that are secretly *other* digits doing handstands
HTML
19
star
9

acting-as-inverse-inverse-planning

Code for our SIGGRAPH 2023 paper, "Acting as Inverse Inverse Planning"
Jupyter Notebook
16
star
10

chaos-game-fractal-foliage

Code for "Learning to Play the Chaos Game: Dreaming of fractal foliage by differentiating iterated function systems"
Jupyter Notebook
14
star
11

Snapin8r

A Scratch 2.0->Snap! converter
JavaScript
13
star
12

eddie

An automatic first-order theorem prover in Haskell
Haskell
12
star
13

emo.7

The man page for emoticons.
Groff
9
star
14

torchsaber

Elegant dimensions for a more civilized age
Python
8
star
15

kesar

A Python library for quickly building human subject studies
Python
8
star
16

shock

It's simple… it's static… it's shock!
JavaScript
8
star
17

jigsaw

An Escher-esque jigsaw puzzle generator
Standard ML
8
star
18

prufrock

A literary proof assistant built on the affine calculus of inductive constraints
Standard ML
8
star
19

gifblocks

Make animated GIFs from your Scratch projects!
HTML
8
star
20

hamelin

Revenge of the The Py'd Piper
Python
7
star
21

lowtex

Low-tech text processing
JavaScript
7
star
22

baobab

Interactive Fiction with Racket and love
JavaScript
6
star
23

voxel

Yet another raytracer, because we don't have enough of those already
Scheme
5
star
24

sublime-nearley

A nearley syntax plugin for TextMate/Sublime Text
Makefile
5
star
25

softraxterizer

A small softras implemented in JAX
Python
4
star
26

hell

Because http://xkcd.com/724/
JavaScript
4
star
27

hootow-hyperlapse

Using classic computer vision algorithms to align hundreds of images of Hoover Tower
Jupyter Notebook
4
star
28

quackoverflow

Meow.
JavaScript
3
star
29

boxcars

Lively box-and-pointer diagrams for Racket.
Racket
3
star
30

bellhop

A simple, informative bell schedule app.
JavaScript
3
star
31

optimally-framing-roger-rabbit

accelerating accelerators with differentiable kD-trees
Python
3
star
32

englipsum

Usable loremtext
JavaScript
2
star
33

Legible

Regexes for Humans
JavaScript
2
star
34

Human

Humanist documentation
Python
2
star
35

ketchup

A temporal RSS proxy
JavaScript
2
star
36

turtlegrad

Bidirectional programming by gradient descent
JavaScript
2
star
37

scotty

Specify Characters On a TTY - Readline for binary input
C
2
star
38

watchat

Racket
2
star
39

jeopardy-wagering-under-uncertainty

Python
1
star
40

indexme

Quick, portable, versatile directory listing generator
Shell
1
star
41

jokebot

A simple demo IRC bot in Python
Python
1
star
42

poison-ivy

Create a graphical representation of dependency relationships between Ivy conjectures.
Python
1
star
43

generative-adversarial-web-development

Substance… and style!
HTML
1
star
44

lagrange-climbs-a-hill

Interpolating Lagrangian mechanics by AD and gradient descent
Python
1
star
45

bentley-blizzard-blossoms

A frosty MNIST alternative :)
Jupyter Notebook
1
star