kip-dili / kipView external linksLinks
A programming language in Turkish where grammatical case and mood are part of the type system.
☆750Updated this week
Alternatives and similar repositories for kip
Users that are interested in kip are comparing it to the libraries listed below
Sorting:
- ☆16Apr 19, 2022Updated 3 years ago
- A formally verified compiler of untyped lambda calculus to brainfuck☆16Aug 2, 2017Updated 8 years ago
- Haskell library for PDF generation (graphics and typesetting)☆15Sep 8, 2025Updated 5 months ago
- An Extempore extension for Visual Studio Code☆12Apr 5, 2021Updated 4 years ago
- ☆15Oct 31, 2023Updated 2 years ago
- RustNL 2023 conference☆14Jan 24, 2024Updated 2 years ago
- Formalization of 2LTT in Agda☆17Aug 6, 2025Updated 6 months ago
- Repository of the Haskell Blog☆15Jan 26, 2026Updated 2 weeks ago
- The Montreal Haskell Compiler☆26Oct 16, 2025Updated 3 months ago
- A very simple boot animation that emulates Trinity hacking Neo's computer at the beginning of The Matrix (1999).☆19Feb 19, 2017Updated 8 years ago
- Terminal Cells implemented for D☆17Jan 14, 2026Updated last month
- web performansi☆15Sep 30, 2015Updated 10 years ago
- toy implementation of Hindley-Milner type system that prints out inference steps☆17Oct 26, 2025Updated 3 months ago
- Havlu lets you focus on the frontend by making it effortless to have a custom API.☆16Jan 23, 2024Updated 2 years ago
- A library for parsing Gerbers☆20Jun 20, 2025Updated 7 months ago
- A calligraphic esolang☆285Nov 17, 2025Updated 2 months ago
- dependent type theory experiment☆26Mar 1, 2024Updated last year
- Interactive holes for Lean 4☆22Apr 19, 2024Updated last year
- String manipulation functions for dlang usable in @nogc and betterC.☆20May 15, 2023Updated 2 years ago
- Martin-Löf type theory + W-types implemented in C (WIP)☆27Aug 9, 2025Updated 6 months ago
- A TUI for batch rendering Blender files☆62Jul 19, 2025Updated 6 months ago
- A Lévy-optimal lambda calculus reducer with a backdoor to C☆43Updated this week
- Haskell time library focusing on performance☆59Nov 24, 2025Updated 2 months ago
- About A Model Context Protocol server that executes commands in the current WezTerm session☆33May 28, 2025Updated 8 months ago
- Use your pure elm functions in Node.js in a synchronous way!☆20Aug 12, 2020Updated 5 years ago
- Uncompromisingly safe money library☆62Dec 3, 2025Updated 2 months ago
- Write codecs for encoding and decoding Elm data.☆26Jun 10, 2025Updated 8 months ago
- Parser and data type for Turkish Citizenship ID numbers☆20Dec 11, 2025Updated 2 months ago
- GObject Introspection D Package Repository☆33Jan 30, 2026Updated 2 weeks ago
- A Categorical View of Computation☆34Jan 1, 2026Updated last month
- Convert stack projects to cabal.project + cabal.project.freeze☆26Mar 18, 2024Updated last year
- Not an another HTTP client but a fetch wrapper with fluent API and superpowers☆105Jan 7, 2023Updated 3 years ago
- Natural pattern matching in JS☆23Dec 4, 2022Updated 3 years ago
- My personal website☆25Jun 24, 2024Updated last year
- Open Source Braille embosser☆36Dec 27, 2025Updated last month
- A collection of fluid simulations☆59Updated this week
- A compiler and runtime for normalizing the untyped λ-calculus☆32Jan 11, 2022Updated 4 years ago
- Very lightweight and smooth design todo app with react-native☆24Mar 28, 2019Updated 6 years ago
- A verified, modern, hardened memory allocator. [maintainer=@cmovcc]☆44Jan 24, 2026Updated 3 weeks ago