|
|
Haskell |
5 |
Haskell Implementation of STLC |
Mar 04, 2023 |
|
|
Agda |
5 |
A toy supercompiler for STLC with numbers and lists |
Jan 06, 2019 |
|
|
Haskell |
5 |
Richard Eisenberg's Stitch STLC |
Jul 30, 2022 |
|
|
Haskell |
4 |
A STLC generating GLSL |
Jan 20, 2020 |
|
|
Python |
9 |
toy wiki implementation |
Sep 02, 2018 |
|
|
None |
13 |
STLC-related snippets in Agda |
Sep 02, 2021 |
|
|
Agda |
53 |
This aims to be the most pretentious implementation of stlc in existence |
May 15, 2023 |
|
|
Julia |
3 |
A toy SSH implementation |
Jun 19, 2021 |
|
|
Rust |
4 |
Toy implementation of Green Threads |
Feb 12, 2022 |
|
|
Haskell |
4 |
toy RC4 implementation in haskell |
Feb 09, 2020 |
|
|
Rust |
2 |
Toy git implementation in Rust |
Jun 07, 2022 |
|
|
Python |
97 |
A toy Feistel network implementation |
Aug 04, 2022 |
|
|
Python |
3 |
Toy implementation of automatic differentiation |
Aug 04, 2020 |
|
|
Haskell |
3 |
Toy Prolog Implementation in Haskell |
Jan 16, 2023 |
|
|
Rust |
3 |
yet another toy blog implementation! |
Jan 05, 2023 |
|
|
Scala |
13 |
Yet another toy processor implementation |
Jan 20, 2022 |
|
|
Go |
7 |
Toy implementation Bitcoin SPV Wallet. |
Apr 03, 2023 |
|
|
C |
3 |
nelhage's experimental toy scheme implementation |
Aug 13, 2019 |
|
|
Rust |
4 |
Toy Ethereum implementation (WIP, abandoned) |
Feb 23, 2023 |
|
|
Java |
2 |
Toy implementation for CS520/620 |
Oct 18, 2023 |
|
|
Go |
2 |
Toy sqlite implementation in Go |
May 12, 2024 |
|
|
Agda |
20 |
Correctness of normalization-by-evaluation for STLC |
Mar 20, 2023 |
|
|
Agda |
3 |
An implementation of the STLC in Agda, with raw terms, typing proofs, and indexed terms |
Aug 02, 2019 |
|
|
Rust |
5 |
A toy implementation of Lua VM. |
Mar 06, 2022 |
|
|
C++ |
2 |
A toy-level implementation of HotRing. |
Apr 26, 2022 |
|
|
Java |
3 |
Toy JVM implementation written in java |
Apr 17, 2023 |
|
|
C++ |
2 |
A toy implementation of B-Tree |
Aug 02, 2021 |
|
|
Python |
4 |
Toy NoSQL implementation for blog post |
May 09, 2023 |
|
|
Python |
2 |
Toy cpu implementation: logisim, verilog, toolchain |
May 20, 2023 |
|
|
Python |
3 |
software toy implementation of Skull King |
Feb 09, 2022 |
|
|
Rust |
5 |
Toy implementation of Syncthing in Rust |
May 06, 2023 |
|
|
Haskell |
2 |
toy toy toy |
Mar 15, 2020 |
|
|
Rust |
2 |
A toy browser engine implementation with Rust. |
Jan 26, 2022 |
|
|
Scala |
23 |
A toy redis client implementation in Scala |
Aug 05, 2022 |
|
|
Haskell |
2 |
Toy implementation of MD5 algorithm in Haskell. |
Mar 27, 2018 |
|
|
Rust |
2 |
A toy implementation of the STARK protocol |
Feb 02, 2023 |
|
|
C |
7 |
Multi-platform toy implementation of a ransomware |
Jan 28, 2023 |
|
|
C |
160 |
A minimal toy implementation of strace(1) |
Apr 30, 2023 |
|
|
Python |
2 |
Toy Python implementation of the Signal protocol. |
Nov 13, 2022 |
|
|
Rust |
2 |
Toy tls 1.3 implementation based on ring |
Jan 22, 2024 |
|
|
Rust |
6 |
toy in-memory implementation of Zanzibar data model |
May 24, 2022 |
|
|
Rust |
64 |
A toy Cairo VM implementation in Rust™ |
Apr 16, 2023 |
|
|
TypeScript |
2 |
[WIP]A toy WebAssembly runtime implementation with TypeScript. |
Apr 23, 2023 |
|
|
Elixir |
3 |
Toy Scheme implementation in Elixir inspired by SICP |
Mar 16, 2022 |
|
|
C++ |
3 |
Toy implementation from seastarr, for learning purpose only |
Apr 20, 2023 |
|
|
Elixir |
32 |
A WIP toy Matrix server implementation in Elixir |
Jul 07, 2022 |
|
|
Java |
4 |
Implementation of the toy probabilistic programming language FOPPL |
Jan 09, 2019 |
|
|
Python |
86 |
A toy implementation of Neural Graph Collaborative filtering |
Feb 23, 2023 |
|
|
Matlab |
2 |
Toy example implementation of the MICCAI 2018 paper |
Jan 05, 2022 |
|
|
C++ |
26 |
C++ implementation of Robert Nystrom's toy language lox |
Nov 17, 2022 |