kipos-lang / kiposLinks
let a million languages bloom
☆22Updated 6 months ago
Alternatives and similar repositories for kipos
Users that are interested in kipos are comparing it to the libraries listed below
Sorting:
- 📜 CCL: Categorical Configuration Language, The most elegant configuration language☆238Updated 2 months ago
- 🌒 A TUI for GitHub☆227Updated 2 months ago
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆150Updated 4 months ago
- A functional programming language with shell scripting capabilities☆122Updated 3 months ago
- ✨ Zero Bullshit Git☆277Updated last month
- ☆87Updated 3 years ago
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆125Updated 10 months ago
- An example on how to write an incremental, concurrent, fault-tolerant compiler☆55Updated 3 months ago
- Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)☆121Updated last year
- Interoperable effects based concurrency☆135Updated 4 months ago
- Experiments in building "better" languages and tools; for some measure of better.☆249Updated 3 weeks ago
- Pure functional programming with whole-program mutability inference☆77Updated 2 months ago
- Full Source Code for Making a Language series☆52Updated 4 months ago
- Just a list of Awesome Alt Langs to check out☆101Updated last year
- Cara language compiler☆45Updated 5 months ago
- A garden of small programming language implementations 🪴☆290Updated 2 weeks ago
- A fancy diagnostics library that allows your compilers to exit with grace☆86Updated 3 weeks ago
- a ML-style programming language based on the calculus of constructions type theory☆24Updated 3 months ago
- OCaml Advent of Code starter project☆61Updated last year
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆61Updated last week
- Extra minimal TypeScript implementation of Hindley-Milner type inference☆33Updated 2 months ago
- 🪄 Tiny challenges for learning WebAssembly☆68Updated 9 months ago
- ☆124Updated last month
- ☆53Updated 9 months ago
- CS3100: Paradigms of Programming at CSE IITM (Monsoon 2020)☆56Updated 9 months ago
- ☆278Updated this week
- Modern scientific computing for OCaml☆314Updated last week
- A basic Command-Line Interface platform☆107Updated last week
- Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.☆483Updated last week
- A frontend for the 1111 stable diffusion API☆17Updated last month