A language for the joy of programming
☆114Jun 5, 2026Updated this week
Alternatives and similar repositories for k1
Users that are interested in k1 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Luminique is a C bytecode interpreted language with a Javascript like syntax.☆11Oct 16, 2024Updated last year
- A small, statically typed, low-level programming language.☆25Sep 8, 2025Updated 9 months ago
- WIP statically-typed subset of Ruby (maybe)☆12Sep 12, 2025Updated 8 months ago
- A different implementation than `rxRust` for easier use of `ReactiveX` in `Rust`.☆14Mar 26, 2024Updated 2 years ago
- A small inline caching demo.☆15Feb 1, 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.
- A compiler and runtime for normalizing the untyped λ-calculus☆33Jan 11, 2022Updated 4 years ago
- Hindley–Milner type inference implemented in Python.☆12Jun 7, 2023Updated 3 years ago
- A delightful programming language for writing reliable software☆19Oct 24, 2024Updated last year
- Soft floating point☆41Nov 21, 2025Updated 6 months ago
- Bootstrap compiler for Firefly☆56Updated this week
- A programming language for rapid application development☆50Jan 16, 2026Updated 4 months ago
- Prints a dot graph of a nim ast dumped using the `dumpTree` macro.☆13Sep 18, 2022Updated 3 years ago
- Zurfur is a programming language taking inspiration from C#, Golang and Javascript☆12May 31, 2026Updated last week
- The Functional Virtual Machine.☆14Dec 18, 2024Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Small powerful micro scripting language <1K SLOC☆64Oct 5, 2025Updated 8 months ago
- Compile & Run Quantum Intermediate Representation (QIR) Programs on Rigetti Quantum Cloud Services (QCS)☆12Oct 1, 2025Updated 8 months ago
- notes on _hyperscript☆12Sep 21, 2023Updated 2 years ago
- A repo of my talks☆11Nov 28, 2023Updated 2 years ago
- ☆10May 16, 2025Updated last year
- kv: A page viewer written in Ruby☆25May 26, 2022Updated 4 years ago
- ⌛️ Library to stream RSS feeds built with Elixir/OTP☆14Jul 13, 2022Updated 3 years ago
- Open sourced object oriented scripting language implemented in C#☆17Feb 7, 2026Updated 4 months ago
- Property-based Testing package for Odin language☆11Nov 11, 2024Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A programming language written in Python and LLVMLite☆11Apr 15, 2022Updated 4 years ago
- ☆12Jan 8, 2022Updated 4 years ago
- A tool & Python 3 library to decompress anything☆12Jan 24, 2021Updated 5 years ago
- moved to https://codeberg.org/core-lang/core☆51Jan 30, 2025Updated last year
- Undo/Redo history data structures for the Odin programming language☆12Jan 9, 2025Updated last year
- Prebuilt WASM binaries for tree-sitter's language parsers.☆19Dec 5, 2022Updated 3 years ago
- ☆12Sep 22, 2020Updated 5 years ago
- a browser extension to parse and view epub format☆15Aug 17, 2021Updated 4 years ago
- ☆10Apr 2, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A program and library for prototyping and debugging PyTorch models in Haskell☆15Aug 11, 2023Updated 2 years ago
- Minimalist RPN language that compiles to x86-64 assembly (with more backends to come).☆19Oct 10, 2022Updated 3 years ago
- Ahnfelt's Type Inference by Example but implemented in Gleam☆12Jul 28, 2023Updated 2 years ago
- CPU raytracer using Embree 3.0☆12May 4, 2022Updated 4 years ago
- A lightweight embeddable scripting language☆129Updated this week
- Add a cute dependency declaration snippet in your crate documentation.☆43Nov 22, 2021Updated 4 years ago
- ☆14Oct 17, 2021Updated 4 years ago