|
Rust |
4 |
The calculus of constructions |
Jul 11, 2022 |
|
Coq |
16 |
Calculus of Constructions |
Mar 18, 2021 |
|
JavaScript |
93 |
Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript. |
May 05, 2023 |
|
JavaScript |
17 |
"operating system" based on the calculus of constructions |
Jul 19, 2022 |
|
Haskell |
368 |
A bare-bones calculus-of-constructions |
Sep 07, 2022 |
|
Python |
3 |
Pure-python implementation of NBLAST, for experimentation purposes |
May 01, 2020 |
|
C |
2 |
A small lambda calculus interpreter in C for bootstrapping purposes. |
Mar 25, 2023 |
|
C++ |
2 |
The very old graphic calculus project, resurrected ;-) |
Aug 26, 2018 |
|
JavaScript |
2 |
A small implementation of the modern React API for educational purposes. |
Jan 12, 2023 |
|
JavaScript |
2 |
Very small binary search index implementation. |
Mar 30, 2018 |
|
Tcl |
11 |
Very small implementation of Stable Diffusion |
Jun 14, 2023 |
|
JavaScript |
12 |
A very small implementation of process.nextTick for the browser using requestAnimationFrame |
Feb 02, 2023 |
|
Haskell |
11 |
Closure calculus implementation |
Jul 12, 2020 |
|
JavaScript |
7 |
A very, very, very small JavaScript library for small tasks. |
Jan 25, 2016 |
|
C |
5 |
A small and simple VM for calculus |
Dec 14, 2022 |
|
Haskell |
11 |
Interpreter for λ̅μμ̃-calculus of Herbelin and Curien (for educational purposes). |
Dec 07, 2022 |
|
Haskell |
3 |
Linear lambda calculus implementation |
Dec 05, 2019 |
|
OCaml |
170 |
Implementation of the λΠ-calculus modulo rewriting |
May 04, 2023 |
|
Haskell |
4 |
A small (untyped) pi-calculus interpreter |
Mar 16, 2021 |
|
Python |
52 |
A small, horrible, cryptocurrency in Python for educational purposes. Should be teachable in an hour … |
May 15, 2022 |
|
Python |
101 |
A small, horrible, cryptocurrency in Python for educational purposes. Should be teachable in an hour … |
Apr 15, 2023 |
|
CoffeeScript |
2 |
A very small Pub/Sub implementation in CoffeeScript |
Nov 19, 2016 |
|
C |
2 |
A very small in minimal implementation of printf. |
Nov 09, 2021 |
|
C |
4 |
Very small (~500 bytes ROM) implementation of the BLAKE2s hash function. |
Dec 12, 2022 |
|
PHP |
17 |
The very small php Template |
Apr 14, 2023 |
|
Erlang |
10 |
The very small erlang webserver |
May 15, 2015 |
|
Rust |
2 |
Utilities for the very small async runner |
Dec 01, 2023 |
|
OCaml |
4 |
Very basic untyped lambda calculus evaluator in OCaml. |
Mar 07, 2023 |
|
Haskell |
4 |
A small interpretter for the simply typed lambda calculus, with type inference |
Feb 10, 2022 |
|
PHP |
12 |
A very small PHP framework for your very small PHP projects |
Mar 06, 2022 |
|
Java |
4 |
A very small and simple "spring-like" ioc implementation. |
Jan 28, 2019 |
|
Python |
3 |
Small application for Unit Testing purposes |
Jul 10, 2021 |
|
JavaScript |
2 |
A very very small logger. |
Mar 19, 2022 |
|
Makefile |
4 |
The very small valid 3gx plugin |
Dec 24, 2022 |
|
C++ |
83 |
Small cross platform Vulkan/OpenGL 3d engine for personal experimentation |
Mar 15, 2023 |
|
Python |
5 |
small demo/experimentation project for cython-powered python <-> c++ interface |
Jan 25, 2018 |
|
Python |
3 |
compression for very small strings |
Feb 14, 2023 |
|
Go |
11 |
A Go implementation of AES/CBC/HMAC-based AEAD constructions. |
Jan 28, 2023 |
|
C |
4 |
A collection of csolution project use cases for experimentation, exploration and education purposes. |
Apr 21, 2023 |
|
CoffeeScript |
12 |
A λ-calculus implementation in CoffeeScript |
May 19, 2022 |
|
C |
6 |
Dead simple implementation of Lambda Calculus. |
Dec 25, 2022 |
|
Objective-C |
2 |
A very simple Quiz App for Demo Purposes |
Oct 02, 2013 |
|
Python |
2 |
Very basic Python Web Application for testing purposes |
Nov 26, 2022 |
|
Perl |
3 |
Your very own libjit for nefarious Perl purposes |
May 21, 2021 |
|
Haskell |
5 |
Implementation of lambda calculus in Haskell. Gradual extensions from untyped lambda calculus to Calculus of … |
Aug 08, 2023 |
|
C++ |
9 |
Small raytracer in C++ for learning purposes |
Oct 24, 2022 |
|
C |
22 |
small libretro frontend created for educational purposes |
Apr 24, 2023 |
|
TypeScript |
2 |
A small Angular project for demonstration purposes |
Dec 21, 2023 |
|
Java |
28 |
RETEOO implementation for educational purposes based on the Drools RETEOO implementation |
Feb 25, 2021 |
|
C++ |
5 |
A small parser for the lambda calculus in C++ using Bazel, Ragel, and Bison |
Nov 13, 2022 |