https://github.com/ljedrz/lambda_calculus

A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust

beta-reduction church-encoding combinatory-logic debruijn embedded-iterators-encoding lambda-calculus lambda-expressions lambda-functions lambda-interpreter parigot-encoding reduction-strategies rust rust-library scott-encoding ski-combinators stump-fu-encoding

Last synced: 05 Apr 2025

https://github.com/ljedrz/pea2pea

A simple, low-level, and customizable implementation of a TCP P2P node.

asynchronous p2p peer-to-peer rust

Last synced: 07 Apr 2025

https://github.com/ljedrz/blc

Binary lambda calculus

binaryformat encoding lambda-calculus rust-library

Last synced: 08 May 2025

https://github.com/ljedrz/quickie

A simple, low-level, and customizable implementation of a QUIC P2P node.

Last synced: 06 May 2025

https://github.com/ljedrz/hilbert_curve

Last synced: 01 Apr 2025

https://github.com/ljedrz/snarkos_network_testing

Last synced: 01 Apr 2025

https://github.com/ljedrz/nac

Not A Community: a code of conduct aiming to avoid community issues by minimizing the community aspect itself.

code-of-conduct

Last synced: 01 Apr 2025

https://github.com/ljedrz/afl_program_tools

Last synced: 01 Apr 2025

https://github.com/ljedrz/system_alloc_stats

Last synced: 18 Feb 2025

https://github.com/ljedrz/locktick

Automated lock accounting & profiling

Last synced: 18 Feb 2025

https://github.com/ljedrz/rust-misc

Generic stuff written in Rust

brainfuck-interpreter cards minesweeper-game peano project-euler

Last synced: 01 Apr 2025

https://github.com/ljedrz/hex-spiral

A single-coordinate concentric 2D hex grid.

Last synced: 15 Mar 2025

https://github.com/ljedrz/scuttleboi

Last synced: 01 Apr 2025

https://github.com/ljedrz/minesweeper

A simple CLI minesweeper in Rust

Last synced: 01 Apr 2025

https://github.com/ljedrz/snarkos2_network_testing

Last synced: 01 Apr 2025

https://github.com/ljedrz/ljedrz

Last synced: 01 Apr 2025