colobo

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

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

Similar Business Software

The Asset Guardian EAM (TAG)

The Asset Guardian (TAG) has a proven 15-year track record for maintaining, managing and optimizing enterprise assets with thousands of users worldwide. TAG offers CMMS, EAM, APM, and Maintenance-as-a-Service applications that can scale with your organization’s needs and technological...

See Software
ActCAD Software

ActCAD is a native dwg/dxf cad software suitable for professional 2D drafting and 3D modeling projects. ActCAD is trusted by over 30000 users in over 103 countries for more than 10 years. The interface, commands, icons, dialogs, shortcuts etc. are very much similar to other popular cad software...

See Software
Miarmy

Miarmy (read My Army) is a human logic engine-based Maya plugin for crowd simulation, AI & behavioral animation, creature physical simulation, and rendering. Miarmy simulator is free forever. You can download the full software package, along with tons of tutorials, samples, demo files, and...

See Software

Report inappropriate content