A programming language in Turkish where grammatical case and mood are part of the type system.
☆868Mar 22, 2026Updated last month
Alternatives and similar repositories for kip
Users that are interested in kip are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆16Apr 19, 2022Updated 4 years ago
- Gen AI based travel assistant for Turkish Airlines customers☆11Aug 30, 2024Updated last year
- deduplication☆15Feb 20, 2023Updated 3 years ago
- A Whitespace-Based Dependently Typed Functional Programming Language☆16Mar 29, 2017Updated 9 years ago
- ☆14Feb 13, 2026Updated 2 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Havlu lets you focus on the frontend by making it effortless to have a custom API.☆16Jan 23, 2024Updated 2 years ago
- ☆15Oct 31, 2023Updated 2 years ago
- Haskell library for PDF generation (graphics and typesetting)☆15Sep 8, 2025Updated 7 months ago
- ⚡ High-performance Waybar modules written in Zig for efficient system monitoring☆31Jan 21, 2026Updated 3 months ago
- Package pop3 provides an implementation of the Post Office Protocol - Version 3.☆20Jun 26, 2021Updated 4 years ago
- Terminalden Türkçe anime izleme, indirme☆19Jul 25, 2025Updated 9 months ago
- ☆35Jan 22, 2025Updated last year
- Formalization of 2LTT in Agda☆18Aug 6, 2025Updated 8 months ago
- An Extempore extension for Visual Studio Code☆12Apr 5, 2021Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A first-person dungeon crawler game inspired by "Istanbul Efsaneleri: Lale Savascilari". Built with Vue.js and Three.js.☆12Apr 2, 2025Updated last year
- TürkçeScript☆49Apr 21, 2016Updated 10 years ago
- Category Theory in Programming☆13Jan 22, 2026Updated 3 months ago
- Interactive holes for Lean 4☆22Apr 19, 2024Updated 2 years ago
- Terminal Cells implemented for D☆18Feb 12, 2026Updated 2 months ago
- Semantic analysis framework☆15May 22, 2022Updated 3 years ago
- Classical Logic in Haskell☆24Nov 19, 2025Updated 5 months ago
- The original parsing with derivatives haskell implementation☆12Aug 25, 2015Updated 10 years ago
- Example C++ audio application☆19Dec 15, 2024Updated last year
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Bootable stuff for PowerPC-based macs + some primitives to interact with OpenFirmware☆20Jul 9, 2025Updated 9 months ago
- Dockerized online streaming software.☆11Dec 18, 2017Updated 8 years ago
- String manipulation functions for dlang usable in @nogc and betterC.☆20May 15, 2023Updated 2 years ago
- The Montreal Haskell Compiler☆26Oct 16, 2025Updated 6 months ago
- ☆12Oct 11, 2024Updated last year
- A practical, notebook-based AI and data science handbook for learners and researchers. Built with Python & Jupyter.☆16Oct 18, 2025Updated 6 months ago
- Martin-Löf type theory + W-types implemented in C (WIP)☆27Feb 16, 2026Updated 2 months ago
- A Haskell libary for generating low-level sounds with high-level combinators.☆17Oct 10, 2024Updated last year
- a ML-style programming language based on the calculus of constructions type theory☆24Jul 6, 2025Updated 9 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.
- My personal website☆25Jun 24, 2024Updated last year
- About A Model Context Protocol server that executes commands in the current WezTerm session☆35May 28, 2025Updated 11 months ago
- Strongly typed queries for PostgreSQL and TypeScript☆102Mar 14, 2026Updated last month
- A JPEG Image Compression Service using Part Homomorphic Encryption.☆32Mar 7, 2025Updated last year
- Laravel fortify üzerine geliştirilmiş kullanıma hazır panel☆25Jan 15, 2025Updated last year
- Mahremiyet ve güvenlik rehberi 📋☆79Feb 17, 2026Updated 2 months ago
- Repository of the Haskell Blog☆15Apr 1, 2026Updated 3 weeks ago