neysofu/lambda-squared neysofu/lambda-squared

  • Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language
    Python
  • License
    MIT License
  • Created almost 8 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
neysofu/lambda-squared
github

neysofu

Reviews

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

Repository Details

A binary λ-calculus (BLC) interpreter written only in Python lambdas.

More Repositories

1

tyche

Statistics utilities for the JVM - in Scala!
Scala
95
star
2

reltester

Automatically verify your [Partial]Eq/Ord invariants
Rust
18
star
3

qetesh

Web scraper to train profanity detectors. NSFW!
Python
9
star
4

ousia

(Please don’t repost, this is still a WIP.) A concise and powerful programming language with an insightful compiler.
Rust
3
star
5

zuloid

A chess engine that's easy on the CPU but hard on opponents.
C
2
star
6

harry-potter-in-bf

Harry Potter and the Sorcerer's Stone, in Brainfuck.
Brainfuck
2
star
7

en2tex

A CLI utility to generate LaTeX mathematical expressions, powered by OpenAI APIs
Rust
2
star
8

codegen-rs

A Rust library providing a builder API to generate Rust code - fork of https://github.com/carllerche/codegen
Rust
2
star
9

nomanssky-generator

A planet name generator for No Man's Sky.
JavaScript
1
star
10

zuloidplus

C++
1
star
11

event-loop-coding-test

Rust
1
star
12

itunes-artworks

A webpage that lets you download high-resolution album covers from the iTunes APIs.
HTML
1
star
13

jsonified-fix

FIX dictionary data as JSON
1
star
14

advent-of-code-2022

My Advent of Code 2022 solutions, in Koka 🎄🎁
1
star