The extremely portable, extremely extensible line editor
☆13Apr 4, 2022Updated 3 years ago
Alternatives and similar repositories for CATITOR
Users that are interested in CATITOR are comparing it to the libraries listed below
Sorting:
- The official interpreter for the Jeopardy language☆16Dec 6, 2022Updated 3 years ago
- Experiments with eBPF bytecode☆15Jul 17, 2025Updated 7 months ago
- A browser Pong game, taking advantage of Idris's ability to compile to javascript.☆18Nov 20, 2014Updated 11 years ago
- DIKU Support Tools for Canvas LMS☆14Sep 16, 2024Updated last year
- Generic package manager for Standard ML libraries and programs☆171Jan 14, 2026Updated last month
- Public material for Computer Systems, B1-2, E2021 @ DIKU, Dept. CS, Univ. Cph☆20Jan 12, 2022Updated 4 years ago
- Library for writing interactive and visual Futhark programs☆24Jan 9, 2026Updated last month
- Genetic program repair using GHC☆33May 16, 2024Updated last year
- A collection of information, notes and resources about courses given at the institute of computer science (DIKU) at University of Copenha…☆142Apr 1, 2024Updated last year
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques☆48Feb 10, 2025Updated last year
- ☆12Dec 15, 2022Updated 3 years ago
- ☆11Oct 8, 2021Updated 4 years ago
- A renderer for sheet diagrams in bimonoidal categories☆13Aug 28, 2021Updated 4 years ago
- A programming language☆11Jan 7, 2022Updated 4 years ago
- A basic DNN tutorial in PyTorch, for persons without a background in Linux, Python, or remote servers☆10Apr 2, 2020Updated 5 years ago
- A revival of the TREE-META compiler-compiler.☆15May 15, 2018Updated 7 years ago
- The fractal land generator☆15Aug 3, 2019Updated 6 years ago
- An imperative, statically-typed toy language☆12May 5, 2019Updated 6 years ago
- An interpreter for concatenative combinators (i.e. Combinators as a functional language)☆10Nov 27, 2021Updated 4 years ago
- Arete is an experimental programming language.☆12Oct 6, 2023Updated 2 years ago
- Reverse Engineering Environment for Retro-Programming☆11Oct 29, 2025Updated 4 months ago
- Experiments with the Verse Calculus in miniKanren☆14Sep 17, 2023Updated 2 years ago
- A Dependently Typed Esolang☆10Aug 4, 2017Updated 8 years ago
- Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generators☆13Aug 31, 2020Updated 5 years ago
- 3D grid and building block engine supporting the 3DML text format, similar to but predates Minecraft☆12Sep 9, 2018Updated 7 years ago
- Agda to C compiler☆10Sep 23, 2025Updated 5 months ago
- John Shutt's "Kernel" language implemented on ABE (C) runtime.☆13Sep 3, 2018Updated 7 years ago
- The original parsing with derivatives haskell implementation☆12Aug 25, 2015Updated 10 years ago
- A C library to play XM (and MOD) modules on Nintendo DS using only ARM7 resources☆17Jul 31, 2024Updated last year
- A collection of freely-licensed js1k entries☆10Feb 29, 2016Updated 10 years ago
- Csound CSD Preprocessor☆21Apr 27, 2015Updated 10 years ago
- Exploring Automatic Differentiation with Racket☆12Jan 9, 2022Updated 4 years ago
- A compiler for the Dana programming language☆11Apr 25, 2021Updated 4 years ago
- hitchhiker Prolog - an implementation of a novel virtual machine☆12May 6, 2023Updated 2 years ago
- Relational Scheme interpreter, written in miniKanren, with Scheme pattern matcher☆11Mar 17, 2015Updated 10 years ago
- A pure Rust SSH implementation☆10Mar 21, 2023Updated 2 years ago
- HTTP utility library for Standard ML☆11Jan 9, 2026Updated last month
- Implementation of Tree esoteric programming language☆10Mar 3, 2023Updated 3 years ago
- HW: a modern, open-source, typeless, turing-incomplete programming language.☆10Jul 17, 2018Updated 7 years ago