COmbinatory LOgic BOlogna is a framework to test and develop Combinatory Logic based languages. It works, obviously, also for the K,S,I, Combinatory Logic.

Features

  • I,S,K Combinatory logic reduction steps

Project Activity

See All Activity >

License

GNU General Public License version 3.0 (GPLv3)

Follow colobo

colobo Web Site

Other Useful Business Software
Intelligent network automation for businesses and organizations Icon
Intelligent network automation for businesses and organizations

Network automation for the hybrid multi-cloud era

BackBox seamlessly integrates with network monitoring and NetOps platforms and automates configuration backups, restores, and change detection. BackBox also provides before and after config diffs for change management, and automated remediation of discovered network security issues.
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of colobo!

Additional Project Details

Languages

English

Intended Audience

Science/Research

User Interface

Console/Terminal, GTK+

Programming Language

OCaml (Objective Caml)

Related Categories

OCaml (Objective Caml) Scientific Engineering

Registered

2010-05-30