A small programming language created in an hour
☆49Aug 7, 2021Updated 4 years ago
Alternatives and similar repositories for onehour
Users that are interested in onehour are comparing it to the libraries listed below
Sorting:
- A Binary File Markup Language☆24Dec 2, 2022Updated 3 years ago
- Various mechanized proof files for fun.☆13Aug 11, 2025Updated 6 months ago
- A CHIP-8 & SuperCHIP interpreter written in Rust using rust-sdl2☆11Apr 21, 2020Updated 5 years ago
- The tiniest standalone script to make a window on MacOS☆12Jan 21, 2023Updated 3 years ago
- Kitbag is a content-addressed versioned tree-structured graph-based datastore.☆14Aug 6, 2021Updated 4 years ago
- A low level Programing Language☆12Updated this week
- ☆11Nov 16, 2021Updated 4 years ago
- test framework☆11Jun 2, 2021Updated 4 years ago
- Technical demos from Porth streams☆15Feb 18, 2022Updated 4 years ago
- .NET Tool for parsing and utilizing x86 semantics defined in K. It currently features a WIP symbolic expression generator for VTIL.☆16Feb 4, 2021Updated 5 years ago
- Source files used for the Cedille Cast videos☆13Dec 28, 2025Updated 2 months ago
- Rust programming, in hindi.☆18Oct 2, 2021Updated 4 years ago
- A compiler for the esoteric language ℂ.☆28Sep 18, 2021Updated 4 years ago
- Scripting language for game prototyping and story logic☆52Feb 19, 2026Updated 2 weeks ago
- CS316 "Functional Programming" lecture notes☆22Jan 29, 2026Updated last month
- Dynamically-typed Haskell expressions involving applications and variables.☆22Jan 30, 2025Updated last year
- ☆13Jan 14, 2022Updated 4 years ago
- A Rust library for runtime-checked linearish types☆38Jul 24, 2023Updated 2 years ago
- Scheme implementation (now maybe working properly)☆19Dec 3, 2023Updated 2 years ago
- Little toy programming language with an x86_64 code generator☆17Sep 30, 2017Updated 8 years ago
- Builds parametric log cabins based on the book "How to build and furnish a log cabin."☆17Sep 13, 2022Updated 3 years ago
- SLAYER ported to Racket☆21Jun 15, 2019Updated 6 years ago
- An interpreter for a small dialect of Forth written in Go.☆19Apr 7, 2019Updated 6 years ago
- Corny COBS encode/decode for Rust no_std targets☆21Nov 10, 2022Updated 3 years ago
- An error-tolerant live programming environment (my Master's thesis)☆21Jul 25, 2022Updated 3 years ago
- A functional scripting language.☆17Jan 18, 2025Updated last year
- Coq library for handling names☆19Aug 5, 2022Updated 3 years ago
- Formalization of some elementary mathematical theories in Coq☆16Mar 29, 2020Updated 5 years ago
- The Evi programming language☆16Jun 17, 2022Updated 3 years ago
- An optimizing compiler for a large subset of the C programming language☆26Aug 30, 2025Updated 6 months ago
- An interpretation of Potion on the Rubinius language platform.☆36Dec 16, 2013Updated 12 years ago
- A stylistically minimal, privacy respecting, linear blogging system, written in the V programming language.☆49Sep 6, 2023Updated 2 years ago
- A toy programming language for web assembly☆15Dec 8, 2022Updated 3 years ago
- The goal is to compile a reasonably complete list of all implementations of the Smalltalk system☆27Feb 9, 2026Updated last month
- A Teeny Type Theory☆27Jun 4, 2022Updated 3 years ago
- Implementation of the `embedded-hal` traits for E310x microcontrollers☆17Apr 1, 2024Updated last year
- A simple script (in Rust lang) to create HTML from SVD☆18Jan 2, 2024Updated 2 years ago
- LabVIEW NXG plugin for Rebar, a graphical dataflow language with ownership.☆18Aug 4, 2021Updated 4 years ago
- Log search engine on object storages☆18Jul 27, 2024Updated last year