background preloader

K

Facebook Twitter

Kal - A Clean Alternative to JavaScript Without Callbacks. Koka - Microsoft Research. Koka is a function-oriented programming language that seperates pure values from side-effecting computations, where the effect of every function is automatically inferred.

Koka - Microsoft Research

Koka has many features that help programmers to easily change their data types and code organization correctly, while having a small language core with a familiar JavaScript like syntax. The Koka project tries to see if effect inference can be used on larger scale programming. The language is strict (as in ML), but seperates pure values from side effecting computations (as in Haskell). Through the effect types, there is also a strong connection to its denotational semantics, where the effect type of each function has a direct translation to the type signature of the denotational function.

Recently, Koka fully supports user-defined effects through algebraic effect handlers. GitHub - kaoscript/kaoscript: Programming language combining features from ES7, CoffeeScript, TypeScript, Rust, Swift, C# and more. The Kernel Programming Language. This page is Copyright John N.

The Kernel Programming Language

Shutt 2004–2012, 2015–2016. Here's what you're allowed to do with it. Klong - T3X.ORG. A Simple Array Language Documentation | Download Klong is an array language, like K, but without the ambiguity.

Klong - T3X.ORG

If you know K or APL, you may be disappointed by Klong. If you don't know any array languages, it might explode your brain. Use at your own risk! KORE.io - A fast SPDY capable web server for web development in C. Big data analytics, time-series database. Rex Swain's KEDIT/KEXX Summary. Karel The Robot. Primepuzzle. Karel the Robot. Kodable. Kojo Home. Kojo is an open source App that runs on Linux, Windows, and Mac.

Kojo Home

It is a Learning Environment – with many different features that enable play, exploration, discovery, creation, and learning in the areas of: Computer Programming and Computational thinking. Math and Science. Inductive, Deductive, Systematic, and Analytical thinking. Art, Music, and Creative thinking. To play with Kojo, you can Download and Install it. Kojo has been developed to provide children an environment where they can do self-directed learning in an interactive fashion – through exploration and discovery. Kojo is based on ideas derived from Logo, Processing, and The Geometer's Sketchpad. Kojo builds upon these ideas and provides the following: A productive, fun, and friendly graphical environment – where computer programming is used to explore and play with Math, Art, Music, Animations, and Games.

Katahdin. Katahdin is a programming language where the syntax and semantics are mutable at runtime.

Katahdin

It was the 2007 master’s project of Chris Seaton at the University of Bristol Department of Computer Science, under the supervision of Dr Henk Muller. Katahdin employs the theory of parsing expression grammars and packrat parsing. Unlike other contemporary work, Katahdin applies these techniques at runtime to allow the grammar to be modified by a running program. New constructs such as expressions and statements can be defined, or a new language can be implemented from scratch. It is built as an interpreter on the Mono implementation of the .NET framework. Koan - Home - Open wiki. !

Koan - Home - Open wiki

[Koan] ( “Koan logo”) Koan is the scripting functional objectified programming language. The main idea behind Koan is both experimental and practical. Experimental The design of Koan is inspired in three main programming languages: Smalltalk/Perl/Scheme; this selection of language has been an entirely personal preference but that is based on the idea of offering the best of each of these languages paradigms mixed in a clean syntax/semantic language/implementation.Practical As a real general purpose programming language, Koan is also intended to solve real problems in real life. The idea of Koan is to focus in easy interoperability with other programs (scripting/embedded capabilities) and easy interfacing with languages like C. First at all, the “must-have” ‘Hello World!’ Say "Hello World! " Ok, that was very simple .. let’s make this example a little bit more interesting, defining a function and calling that function to greet anyone/thing we want: fun greet do end; greet “Koan”` end;

Kodu. Kodu is a new visual programming language made specifically for creating games.

Kodu

It is designed to be accessible for children and enjoyable for anyone. The programming environment runs on the Xbox, allowing rapid design iteration using only a game controller for input. Kitten Programming Language. Klisp. Kalimat - The beautiful, Arabic-based programming language for teaching children programming. Kalimat is an educational programming language for Arabic-speaking children.

kalimat - The beautiful, Arabic-based programming language for teaching children programming.

It aims for readability and an easy to understand syntax while providing enough features to allow for complex, interesting and fun programs. (screenshots) (online tutorial) (official site) (alternative download) (project roadmap) A feature we consider somewhat unique to Kalimat is that it includes some very advanced capabilities while providing a smooth path to programming for the beginner. K-framework - The K Semantic Framework. Kew programming language. About Key. The Kogut Programming Language. Copyright © 2004-2005,2008 by Marcin 'Qrczak' Kowalczyk (QrczakMK@gmail.com) Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. KiXtart.org - home of KiXtart.

Kodu. Kodu is a new visual programming language made specifically for creating games.

Kodu

It is designed to be accessible for children and enjoyable for anyone. The programming environment runs on the Xbox, allowing rapid design iteration using only a game controller for input. Programming as a Creative Medium The core of the Kodu project is the programming user interface. The Kernel Programming Language. This page is Copyright John N.

The Kernel Programming Language

Shutt 2004–2012. Here's what you're allowed to do with it. Kx Systems - Fast database for real-time and historical data. Kelbt: Backtracking LR Parsing. Kelbt: Backtracking LR Parsing *** NOTICE *** Kelbt is no longer active. Introduction Kelbt generates backtracking LALR(1) parsers. Where traditional LALR(1) parser generators require static resolution of shift/reduce conflicts, Kelbt generates parsers that handle conflicts by backtracking at runtime. Kink-lang - Kink Programming Language. Moved to BitBucket. Any new information of the project will come on BitBucket, but this repository will be still updated as a mirror. Kink is a prototype-based functional language on the JVM. The goal of the language is easy and elastic programming with handful number of simple mechanisms.

Both the language and the implementation are now under development. Kotlin. My experience has been that if you don't, you will annoy everyone by having each person use a DIFFERENT prefixed member property. In the project I work with, due to various libraries we use as well as different people's coding styles, I see various fields named as: fSomething _something m_Something. Kona. Kitsune-Programming-Language. Kawa: The Kawa Scheme language. The KSi Scheme. Kew. The Free and Open Game Programming Language. Welcome - Kotlin. Kite Programming Language.