ktp-forked-repos Goto Github PK

clock-shop

🕙⏰🕰Clock Shop is a website that collects beautiful clock codes

clocker.el

Note taker and org-clock-in enforcer

clocksinmellish

Code from the book "Programming in Prolog" by William F. Clocksin and Christopher S. Mellish (original and my own solutions to exercises).

clojure

Exercism exercises in Clojure.

clojure-1

The Clojure programming language

clojure-cheatsheet

[DEPRECATED] The Clojure Cheatsheet for Emacs

clojure-koans

A set of exercises for learning Clojure

clojure-mode

Emacs support for the Clojure(Script) programming language

clojure-natural-language-processing

Building Natural Language Processing systems with Clojure

clojure-practice

clojureblog

Simple Rails-like blog with comments and user authentication.

clojurecorelogicfdtalk

Project for a talk on clojure core logic's finite domain API for constraint programming.

clothsimulation

Basic cloth simulation using Verlet integration

cloudio

An SWT Tag Cloud Composite

cloudmailru

Total Commander plugin for cloud.mail.ru service

cloudtagview

A custom view to create cloud of tags.

clp

Constraint Logic programming

clp-1

Presentation on constraint logic programming

clp-calculator

A simple calculator for solving problems using Constraint Logic Programming.

clp-project

Projects for Constraint Logic Programming

clp-project-1

Constraint Logic Programming, Finding shortest path, Travelling salesman problem, Scheduling/planning problems

clpb

Boolean Constraint Solving in Prolog

clpbnr_pl

CLP(BNR) module for SWI-Prolog

clpfd

Constraint Logic Programming over Finite Domains

clpfd-1

constraint logic programming over finite domains

clphs

Constraint Logic Programming for Haskell

clprm-coq

Some Formal Developments for Constraint Logic Programming with a Relational Machine

clpz

Constraint Logic Programming over Integers

clrt-tutorial

Source code for the corresponding series of screencasts

cltools

tools for common-logic