diku-kmc / kleenexlangView external linksLinks
The Kleenex programming language
☆56Oct 18, 2024Updated last year
Alternatives and similar repositories for kleenexlang
Users that are interested in kleenexlang are comparing it to the libraries listed below
Sorting:
- The official interpreter for the Jeopardy language☆16Dec 6, 2022Updated 3 years ago
- Programming with LVars, by example☆36Jul 20, 2015Updated 10 years ago
- Public archive of material performed on stage through the life time of DIKUrevy☆27Mar 16, 2025Updated 10 months ago
- RML language☆10Sep 25, 2020Updated 5 years ago
- Backpack examples repository☆14Aug 18, 2017Updated 8 years ago
- a simple infoscreen system☆12Aug 25, 2025Updated 5 months ago
- Parallel Functional Programming, 2020☆16Jan 18, 2024Updated 2 years ago
- Web server infrastructure for Standard ML☆15Jan 9, 2026Updated last month
- KU Leuven Haskell Compiler☆15Aug 16, 2021Updated 4 years ago
- A semantically unified SQL and NoSQL query and update system☆18Jan 20, 2019Updated 7 years ago
- Fully verified model checker for realtime systems☆17Sep 2, 2022Updated 3 years ago
- A small implementation of a proof refinement logic.☆50Jul 3, 2017Updated 8 years ago
- Alpine linux with ghc for docker☆19Jan 25, 2017Updated 9 years ago
- Pythonic way of keeping secrets secure in JSON☆19Dec 29, 2020Updated 5 years ago
- Dependently-typed language with Iverson-style implicit lifting☆126Mar 24, 2020Updated 5 years ago
- "Toy" SMT Solver for Educational Purposes☆20Apr 17, 2013Updated 12 years ago
- A new generic object oriented programming language.☆10Jan 6, 2026Updated last month
- LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming☆108Feb 27, 2023Updated 2 years ago
- State machines in Idris☆37Nov 6, 2016Updated 9 years ago
- A minimalist type-inferred programming language with procedural macro support☆136Oct 25, 2020Updated 5 years ago
- An experimental interactive shell for Alpaca, the ML language that runs on the Erlang VM☆10Jun 7, 2017Updated 8 years ago
- Bindings to Instagram's API☆11Feb 19, 2018Updated 7 years ago
- HW: a modern, open-source, typeless, turing-incomplete programming language.☆10Jul 17, 2018Updated 7 years ago
- Haskell binding for Menoh DNN inference library☆12Nov 30, 2018Updated 7 years ago
- A full-featured IRC bot in Common Lisp☆17May 15, 2025Updated 9 months ago
- The Lily programming language ⚜☆10Jan 4, 2026Updated last month
- A programming language.☆12Aug 4, 2025Updated 6 months ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Feb 22, 2018Updated 7 years ago
- Dynamically typed interpreted programming language written in Rust☆10Feb 3, 2026Updated last week
- Coq implementation of SF-calculus and the tranlsation to it of lift lambda-calculus☆11Mar 31, 2017Updated 8 years ago
- Data and scripts for the paper "Polymorphic Type Inference for Machine Code"☆13Apr 12, 2016Updated 9 years ago
- My personal dot files☆10Sep 13, 2022Updated 3 years ago
- A minimalist, multithreaded X window manager with a plugin architecture (WIP)☆11Sep 24, 2017Updated 8 years ago
- 🔫 Toy ML-like Imperative Programming Language (WIP)☆10Apr 15, 2021Updated 4 years ago
- Comparing Different Stochastic Gradien Descent implementations in Haskell against Python☆10Jul 25, 2016Updated 9 years ago
- Cx is now called Neat. https://github.com/neat-lang/neat☆10Jul 15, 2021Updated 4 years ago
- An (incomplete) Common Lisp implementation of the iCalendar RFC5545 specification.☆14Apr 19, 2019Updated 6 years ago
- OpenGL and GPU debugging utilities☆14Oct 21, 2012Updated 13 years ago
- A simple ML dialect☆11Jan 2, 2017Updated 9 years ago