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 >

Categories

Scientific/Engineering

License

GNU General Public License version 3.0 (GPLv3)

Follow colobo

colobo Web Site

You Might Also Like
Red Hat Ansible Automation Platform on Microsoft Azure Icon
Red Hat Ansible Automation Platform on Microsoft Azure

Red Hat Ansible Automation Platform on Azure allows you to quickly deploy, automate, and manage resources securely and at scale.

Deploy Red Hat Ansible Automation Platform on Microsoft Azure for a strategic automation solution that allows you to orchestrate, govern and operationalize your Azure environment.
Learn More
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
Report inappropriate content