Konilo: a personal computing system in Forth
Konilo is a small, pragmatic personal computing system written in Forth and running on a tiny virtual computer.
Kimi K3 - Kimi API Platform
Kimi K3 is our flagship model for long-horizon coding and end-to-end knowledge work, with a 1M-token context window and industry-leading intelligence. The Kimi API Platform provides K3, K2.7 Code, K2.6 and other large language model APIs, supporting long context, multimodal understanding, and Tool Calling.
Flagship Model Kimi K3 Pricing - Kimi API Platform
Kimi K3 is our flagship model for long-horizon coding and end-to-end knowledge work, with a 1M-token context window and industry-leading intelligence. The Kimi API Platform provides K3, K2.7 Code, K2.6 and other large language model APIs, supporting long context, multimodal understanding, and Tool Calling.
KCL programming language. - Mutation Validation Abstraction Automation Production-Ready | KCL programming language.
KCL is an open-source constraint-based record & functional programming language mainly used in configuration and policy scenarios.
Kimi Code - Next-Gen AI Code Agent | Automated Programming & CLI
Unlock Kimi Code (KFC), the ultimate AI toolkit for developers. Featuring high-performance CLI tools and Turbo-speed models to automate code generation and boost development efficiency. Experience faster, more reliable AI-powered coding today.
GitHub - BlockScience/koi-net: Implementation of Knowledge Organization Infrastructure Network (KOI-net) protocol in Python
Implementation of Knowledge Organization Infrastructure Network (KOI-net) protocol in Python - BlockScience/koi-net
The Spoofax language workbench | Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion
As part of the Digital Library's transition to Open Access, new features for researchers are available in the Premium Edition. Click here to learn more.
Resugaring | Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation
Syntactic sugar plays a crucial role in engineering programming languages. It offers convenient syntax and higher-level of abstractions, as witnessed by its pervasive use in both general-purpose and domain-specific contexts. Unfortunately, the ...
KoboToolbox
KoboToolbox is an intuitive, powerful, and reliable software used to collect, analyze, and manage data for surveys, monitoring, evaluation, and research.
Arturo programming language
Arturo programming language: Simple, expressive & portable programming language for efficient scripting
The Rust Programming Language - The Rust Programming Language
by Steve Klabnik, Carol Nichols, and Chris Krycho, with contributions from the Rust Community