tarpit-rs

A type-level implementation of Smallfuck in Rust, doubling as a Turing-completeness proof for Rust's type system.

Stars

222

View Code on GitHub View on X

Ecosystems: Rust

Issue Statistics

Past Year

All Time

Total Pull Requests

0

2

Merged Pull Requests

0

2

Total Issues

0

0

Time to Close Issues

N/A

N/A

Related Projects

jinx-rust

A permissive Rust Parser for Rust Tooling written in Typescript

frunk

Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Va...

17 Oct 2016 1,269

simple_test_case

simple parameterised tests for rust

tyrade

A pure functional language for type-level programming in Rust

15 Jun 2020 316

higher

Your favourite Haskell type classes for Rust

25 Feb 2019 217

ssf

Structurally-typed strict functional core language

typed-type-exercise-in-rust

Build database expression type checker and vectorized runtime executor in type-safe Rust

ssz-rs

Implementation of ethereum's `ssz`

29 May 2021 100

coq-of-rust

Check 100% of execution cases of Rust programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦 For...

28 Dec 2022 124

ctest

Automatic testing of FFI bindings for Rust

16 Sep 2015 124

miniml

rust-examples

Examples from tutorial and other documentations of Rust.

24 Sep 2013 236

oxide

The essence of Rust.

09 Jun 2017 122

reltester

Automatically verify traits invariants for [Partial]Eq, [Partial]Ord, Hash, [DoubleEnded|Fused]it...

bincode-typescript

Generates TypeScript bincode serialisation code from Rust structs and enums