Blog

In this tutorial we learn how to install libcork-doc on Ubuntu. libcork-doc is simple, easily embeddable, cross-platform C library (documentation files)

In this tutorial we learn how to install libcork-dev on Ubuntu. libcork-dev is simple, easily embeddable, cross-platform C library (development files)

In this tutorial we learn how to install libcore-specs-alpha-clojure on Ubuntu. libcore-specs-alpha-clojure is specs to describe Clojure core macros and functions

In this tutorial we learn how to install libcore-renderer-java-doc on Ubuntu. libcore-renderer-java-doc is Documentation for libcore-renderer-java

In this tutorial we learn how to install libcore-renderer-java on Ubuntu. libcore-renderer-java is Java library that provides an XML/XHTML/CSS 2.1 Renderer

In this tutorial we learn how to install libcore-memoize-clojure on Ubuntu. libcore-memoize-clojure is Clojure memoization library

In this tutorial we learn how to install libcore-match-clojure on Ubuntu. libcore-match-clojure is optimized pattern match and predicate dispatch library for Clojure

In this tutorial we learn how to install libcore-cache-clojure on Ubuntu. libcore-cache-clojure is cache abstraction library for Clojure

In this tutorial we learn how to install libcore-async-clojure on Ubuntu. libcore-async-clojure is asynchronous programming using channels for Clojure

In this tutorial we learn how to install libcoq-stdlib on Ubuntu. libcoq-stdlib is proof assistant for higher-order logic (theories)

In this tutorial we learn how to install libcoq-mathcomp-ssreflect on Ubuntu. libcoq-mathcomp-ssreflect is Mathematical Components library for Coq (small scale reflection)

In this tutorial we learn how to install libcoq-mathcomp-solvable on Ubuntu. libcoq-mathcomp-solvable is Mathematical Components library for Coq (finite groups II)