A small programming language created in an hour
☆48Aug 7, 2021Updated 5 years ago
Alternatives and similar repositories for onehour
Users that are interested in onehour are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Dynamically-typed Haskell expressions involving applications and variables.☆22Jan 30, 2025Updated last year
- 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 5 years ago
- The Evi programming language☆16Jun 17, 2022Updated 4 years ago
- Various mechanized proof files for fun.☆16Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆15Jan 29, 2023Updated 3 years ago
- A Binary File Markup Language☆24Dec 2, 2022Updated 3 years ago
- A diagnostic library for parser / interpreter usages.☆23Jul 5, 2026Updated 2 months ago
- A micro C compiler for x86-64☆26May 30, 2026Updated 3 months ago
- .NET Tool for parsing and utilizing x86 semantics defined in K. It currently features a WIP symbolic expression generator for VTIL.☆18Feb 4, 2021Updated 5 years ago
- A stylistically minimal, privacy respecting, linear blogging system, written in the V programming language.☆49Sep 6, 2023Updated 3 years ago
- Scripting language for game prototyping and story logic☆52Mar 10, 2026Updated 6 months ago
- ☆13Jan 14, 2022Updated 4 years ago
- Source code for 'Interpreting Lisp' by Gary D. Knott☆24Mar 22, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- "hello world" x86 kernel example☆339Jan 20, 2023Updated 3 years ago
- Little toy programming language with an x86_64 code generator☆17Sep 30, 2017Updated 8 years ago
- A simple functional programming language.☆21Jun 3, 2021Updated 5 years ago
- Coq library for handling names☆19Aug 5, 2022Updated 4 years ago
- [Experiment] A lock-free, wait-free, block-free logger for the ARM Cortex-M architecture☆10Feb 18, 2020Updated 6 years ago
- Abstract machines for functional programming languages☆16Feb 22, 2019Updated 7 years ago
- A compiler for the esoteric language ℂ.☆28Sep 18, 2021Updated 5 years ago
- An error-tolerant live programming environment (my Master's thesis)☆21Jul 25, 2022Updated 4 years ago
- A toy programming language for web assembly☆15Dec 8, 2022Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆12Nov 16, 2021Updated 4 years ago
- ☆13Dec 31, 2023Updated 2 years ago
- Source files used for the Cedille Cast videos☆12Dec 28, 2025Updated 8 months ago
- a hot reloading library for rust☆13Jul 16, 2023Updated 3 years ago
- WG21 Proposals and Drafts☆14Jan 6, 2022Updated 4 years ago
- Fast subset and superset queries based on tries.☆11Jun 21, 2023Updated 3 years ago
- ☆31Jun 19, 2022Updated 4 years ago
- a servant like DSL for templating requests☆15Apr 8, 2021Updated 5 years ago
- Scheme implementation (now maybe working properly)☆21Dec 3, 2023Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- IntelliJ plugin for the Jakt programming language☆13Apr 21, 2023Updated 3 years ago
- Beispielprogramme zum Buch "Künstliche Intelligenz verstehen" von Pit Noack und Sophia Sanner (Rheinwerk Computing 2023)☆14Oct 25, 2023Updated 2 years ago
- A functional scripting language.☆18Jan 18, 2025Updated last year
- A small experimental microkernel for embedded systems☆23Aug 23, 2022Updated 4 years ago
- Map of SerenityOS developers and users☆27Nov 6, 2024Updated last year
- ☆10Sep 9, 2017Updated 9 years ago
- Program analysis playground for a simple, imperative language☆38Jun 6, 2022Updated 4 years ago