let a million languages bloom
☆23Apr 20, 2025Updated last year
Alternatives and similar repositories for kipos
Users that are interested in kipos are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A set of tools, components, and libraries for building interactive math applications.☆14Jan 3, 2025Updated last year
- A lightweight (8MB) implementation of the McIlroy-Tamayo Lempel-Ziv variation in Malbolge Unshackled.☆10Jul 11, 2025Updated 11 months ago
- a ML-style programming language based on the calculus of constructions type theory☆24Jul 6, 2025Updated 11 months ago
- Yet another UNIX-like argument parser for C. 0BSD-licensed.☆22May 16, 2026Updated 3 weeks ago
- Unix native interface to LLMs☆12May 4, 2026Updated last month
- 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.
- Simple functional-ish language written in Kotlin☆24Aug 19, 2025Updated 9 months ago
- Planet Generator Prototype in JavaScript from 2014☆13Feb 13, 2023Updated 3 years ago
- esbuild plugin for gleam 🌸☆19Mar 6, 2023Updated 3 years ago
- Let's sudo by face recognition of Windows Hello on Windows Subsystem for Linux (WSL). It runs on both WSL 1 and WSL 2. This is a PAM modu…☆35May 28, 2026Updated 2 weeks ago
- ☆11Oct 23, 2023Updated 2 years ago
- Tiny theorem prover with syntax like Lean 4 in <1K LOC☆68Jul 21, 2025Updated 10 months ago
- Full-featured, robust deriving for Caliban.☆16Aug 20, 2024Updated last year
- A simple, lightweight library for ANSI styling.☆24Oct 30, 2025Updated 7 months ago
- Improved type safety with tight TypeScript interop☆14Feb 17, 2025Updated 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.
- (λ) Category theory and lambda calculus, Bachelor's thesis☆42Oct 31, 2018Updated 7 years ago
- A lightweight multi-platform framework for accessing battery info☆12Aug 11, 2024Updated last year
- ☆38Feb 16, 2026Updated 3 months ago
- A full-stack Effect example. Effect + vite + bun + rpc + omg.☆38Oct 30, 2025Updated 7 months ago
- one on one Ocaml TCP chat app written with Riot + Mint tea☆10Apr 1, 2024Updated 2 years ago
- An minimal example for a full stack Scala app on Heroku☆10Mar 5, 2020Updated 6 years ago
- ☆14Jan 30, 2025Updated last year
- ☆12Apr 3, 2026Updated 2 months ago
- Small editor wrapped on cirru-editor☆13Aug 26, 2016Updated 9 years ago
- 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.
- 🧜♀️ Pi extension that renders Mermaid diagrams as ASCII in the TUI, with width-aware output and safe handling for larger diagrams.☆65Feb 23, 2026Updated 3 months ago
- A little tool so I don't forget to commit and push or pull changes when switching computers.☆68Mar 14, 2025Updated last year
- Backstitch: Real-Time Version Control for Godot☆69Updated this week
- Mario game logic implemented with the Wonka FRP library☆10Dec 10, 2022Updated 3 years ago
- A Vite plugin for Melange☆13Apr 21, 2026Updated last month
- Explorations into specification-as-a-value☆42Mar 15, 2013Updated 13 years ago
- Source code for an interactive essay that explores the idea of representing programs not as source code, but as sequences of interactions…☆24Jan 3, 2023Updated 3 years ago
- ☆16Jul 5, 2022Updated 3 years ago
- An example project demonstrating how to use UIKit's UIViewControllerAnimatedTransitioning API.☆11Jan 27, 2023Updated 3 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Efficient and seamless cross-process communication for Rust☆32Jul 19, 2025Updated 10 months ago
- ValTown MCP Server - Execute ValTown functions from AI assistants☆15Aug 12, 2025Updated 10 months ago
- An openai wrapper for Common Lisp☆14Aug 12, 2024Updated last year
- Some nice Crab things implemented in TypeScript.☆16Feb 6, 2024Updated 2 years ago
- Dew is a little programming language which targets the Lua virtual machine☆27Jul 14, 2025Updated 11 months ago
- Algorithms and Data Structures in ReasonML☆39Sep 5, 2018Updated 7 years ago
- A website monitoring tool written in gleam/mist/lustre☆36May 28, 2024Updated 2 years ago