let a million languages bloom
☆24Apr 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 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 last month
- A compile-to-JavaScript language with tight TypeScript integration.☆23Oct 15, 2023Updated 2 years ago
- Unix native interface to LLMs☆12May 4, 2026Updated 2 months 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.
- A small compiler for the Prospero Challenge in Constructive Solid Geometry☆11Nov 28, 2025Updated 7 months ago
- Only Up 64 (sm64ex-coop Port)☆12Mar 13, 2026Updated 3 months ago
- Simple functional-ish language written in Kotlin☆24Aug 19, 2025Updated 10 months ago
- An experiment in implementing a code editor from scratch☆10Nov 28, 2024Updated last year
- Planet Generator Prototype in JavaScript from 2014☆13Feb 13, 2023Updated 3 years ago
- esbuild plugin for gleam 🌸☆19Mar 6, 2023Updated 3 years ago
- Graphing Scrubbing Calculator☆11Nov 27, 2017Updated 8 years ago
- 📚 A third-party mobile App for Canvas LMS tailored for SJTU open Canvas system.☆19Oct 10, 2021Updated 4 years ago
- Fast replacements for some common functions on linked lists☆13Dec 14, 2017Updated 8 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.
- 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…☆37May 28, 2026Updated last month
- ☆12Jun 23, 2025Updated last year
- Take Julia AST's apart and put them back together again☆14Apr 21, 2024Updated 2 years ago
- Improved type safety with tight TypeScript interop☆14Feb 17, 2025Updated last year
- (λ) Category theory and lambda calculus, Bachelor's thesis☆42Oct 31, 2018Updated 7 years ago
- Introduction to MLIR and xDSL training course☆20Oct 2, 2023Updated 2 years ago
- (2017-2) Repositorio del curso IIC2613 Inteligencia Artificial☆13Dec 5, 2017Updated 8 years ago
- Resources for conference program chairs, especially in systems/PL areas of computer science.☆12May 14, 2023Updated 3 years ago
- Traducción al Español de Limbus Company | El uso de este mod esta permitido oficialmente por Project Moon | This mod is allowed by Projec…☆46Jun 8, 2026Updated 3 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.
- An experimental library for adding attributes to threads (without rewriting the whole thread interface), for C11 and similar.☆18Nov 17, 2025Updated 7 months ago
- A full-stack Effect example. Effect + vite + bun + rpc + omg.☆39Oct 30, 2025Updated 8 months ago
- one on one Ocaml TCP chat app written with Riot + Mint tea☆10Apr 1, 2024Updated 2 years ago
- ☆15Jun 18, 2025Updated last year
- An minimal example for a full stack Scala app on Heroku☆10Mar 5, 2020Updated 6 years ago
- ☆12Apr 3, 2026Updated 3 months ago
- ☆14Jan 30, 2025Updated last year
- A query string parser for Gleam☆12May 22, 2026Updated last month
- Mount Elysia app in Nuxt☆51Apr 1, 2026Updated 3 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Mario game logic implemented with the Wonka FRP library☆10Dec 10, 2022Updated 3 years ago
- Fancy upgrade to console.log☆27May 30, 2026Updated last month
- MLIR+EqSat☆27Jan 10, 2026Updated 5 months ago
- Meta project around MLIR☆44Jun 26, 2026Updated last week
- This page contains Python codes for the chapters appearing in all 3 volumes of the work "Sayed, Ali. H., Inference and Learning from Data…☆31Apr 16, 2024Updated 2 years ago
- Backstitch: Real-Time Version Control for Godot☆143Jun 26, 2026Updated last week
- A Swift package for interacting with selenium and undetected-chromedriver through python by using PythonKit.☆13Jun 21, 2025Updated last year