A small programming language created in an hour
☆49Aug 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.☆15Jul 25, 2026Updated 2 weeks 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.
- ☆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 last month
- A micro C compiler for x86-64☆26May 30, 2026Updated 2 months ago
- Scripting language for game prototyping and story logic☆52Mar 10, 2026Updated 5 months ago
- Little toy programming language with an x86_64 code generator☆17Sep 30, 2017Updated 8 years ago
- A simple functional programming language.☆22Jun 3, 2021Updated 5 years ago
- Coq library for handling names☆19Aug 5, 2022Updated 4 years ago
- Elshadai's Github profile description☆14Oct 29, 2023Updated 2 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.
- [Experiment] A lock-free, wait-free, block-free logger for the ARM Cortex-M architecture☆10Feb 18, 2020Updated 6 years ago
- A compiler for the esoteric language ℂ.☆28Sep 18, 2021Updated 4 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
- ☆12Nov 16, 2021Updated 4 years ago
- Source files used for the Cedille Cast videos☆12Dec 28, 2025Updated 7 months ago
- a hot reloading library for rust☆13Jul 16, 2023Updated 3 years ago
- Prints a dot graph of a nim ast dumped using the `dumpTree` macro.☆13Sep 18, 2022Updated 3 years ago
- Amazon Simple Storage Service (AWS S3) basic API support☆14May 9, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Builds parametric log cabins based on the book "How to build and furnish a log cabin."☆17Sep 13, 2022Updated 3 years ago
- ☆31Jun 19, 2022Updated 4 years ago
- a servant like DSL for templating requests☆15Apr 8, 2021Updated 5 years ago
- nim playground using monaco editor and wandbox api☆12Oct 25, 2024Updated last year
- CS316 "Functional Programming" lecture notes☆24Jan 29, 2026Updated 6 months ago
- Scheme implementation (now maybe working properly)☆21Dec 3, 2023Updated 2 years ago
- A functional scripting language.☆18Jan 18, 2025Updated last year
- A small experimental microkernel for embedded systems☆23Aug 23, 2022Updated 3 years ago
- Map of SerenityOS developers and users☆27Nov 6, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Rust DFU protocol implementation for usb-device☆23Apr 21, 2024Updated 2 years ago
- Compiles lisp style html into normal html☆19Oct 4, 2023Updated 2 years ago
- Lisp-in-progress☆44Aug 22, 2023Updated 2 years ago
- A real-time train departure board built upon the KVV (Karlsruher Verkehrs Verbund) API☆15May 8, 2024Updated 2 years ago
- Wrapper for DigitalOcean HTTP API.☆11Jun 20, 2022Updated 4 years ago
- Generate a guidebook website. Includes next.js plugin.☆11Nov 12, 2025Updated 8 months ago
- VDrift with Umka scripting☆16Aug 22, 2021Updated 4 years ago