Skip to content
View pro465's full-sized avatar
😃
enjoying getting Rusty
😃
enjoying getting Rusty

Block or report pro465

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

An agent-managed museum exhibit, built in Rust with Gajae-Code / LazyCodex — developed and maintained with no human intervention.

Rust 195,030 109,212 Updated Aug 6, 2026
Rocq Prover 372 13 Updated Sep 20, 2025

A comprehensive LaTeX template for generating high-quality maths books with custom environments and code snippets

TeX 12 3 Updated Sep 17, 2024

Map folding with specific rules, and these rules are able to simulate a given function.

HTML 1 Updated Jan 3, 2025

Deliver is a programming language that let you experience delivery

Python 3 Updated Jan 1, 2025

A System Fω evaluator

Haskell 1 Updated Jul 8, 2024

Sending the lambda calculus into deep space

Java 162 9 Updated Jul 17, 2026

GEB Typographical Number Theory

Rust 5 Updated Dec 11, 2022
HolyC 2 Updated Aug 10, 2024

Big numbers library for Uiua

1 Updated Sep 1, 2024

A bootable 32-bit Forth system with a visual block editor.

Assembly 9 1 Updated Jun 29, 2023

Compiled functional language

Factor 4 1 Updated Aug 12, 2024

just Brainfuck but the commands + - < > have a 50% chance of doing their function or doing nothing.

Factor 2 Updated May 9, 2024

Optimized interpreter for esoteric programming language Dis by Ben Olmstead

C 2 Updated Apr 22, 2025

A functional programming language with static memory management

Haskell 1,010 16 Updated Jul 25, 2026

Lenia - Mathematical Life Forms

Python 3,811 245 Updated Jul 19, 2024

A 2D Art-based Esolang.

Python 2 Updated Mar 14, 2024

Electra is an esolang where you code like an electrician.

C++ 100 1 Updated May 31, 2026

A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.

TeX 553 10 Updated Aug 5, 2025

BQN programming language vscode plugin (symbol input, syntax highlighting)

Lua 23 7 Updated Oct 3, 2024

lambda calculus if it was messed up

Factor 11 1 Updated Jun 8, 2024
C 5 Updated Jun 17, 2021
Lean 2 1 Updated Dec 14, 2022

MIRROR of https://codeberg.org/catseye/Cardboard-Prolog : A bare-bones inference engine in 120 lines of purely functional Scheme

Scheme 10 1 Updated Nov 30, 2022

Dustin's Awesome Line Editor!

Rust 1 Updated Sep 16, 2023

FM radio modulation explained

HTML 8 1 Updated Jul 1, 2020

historical archive of rust pre-publication development

C 728 46 Updated Nov 29, 2024

A Lisp interpreter written in untyped lambda calculus

Common Lisp 253 12 Updated Mar 10, 2023

Written in C++ and using SDL, The Powder Toy is a desktop version of the classic 'falling sand' physics sandbox, it simulates air pressure and velocity as well as heat.

C++ 5,267 888 Updated Aug 8, 2026

rho calculus + haskell thrown into the mixer

Rust 3 2 Updated Jun 27, 2024
Next