Select a tag to browse associated projects and drill deeper into the tag cloud.
See http://www.impro-visor.com. Music notation, advice, and play-back tool for helping musicians learn to improvise. Melody generator, Leadsheet, Auto-Accomp, MIDI, MusicXML export. User group http://launch.groups.yahoo.com/group/impro-visor/.
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems. It can be used to prove the validity (or, dually, the satisfiability) of first-order formulas in a large number of built-in logical theories and their combination.
The "Entrelacs project" aims to develop a revolutionary computing environment, the Entrelacs System, where the "arrow" supersedes the "bit" as the fundamentally smallest piece of information. By "arrow", one means an immutable and uniquely defined oriented ... [More]
The purpose of the graph editor is to make it fast and easy to draw graphs, perform some simple operations on graphs and export graphs to useful ﬁle formats etc. The graph editor can also be used to study the structure of graphs by moving it’s parts around in an intuitive way. The program is ... [More]
Implementação dos Algoritmo de Grafo em C++ Alunos: - Thiago Augusto Lopes Genez - Pedro Sanches Junior - Chris Andrew Lopes Confortini - Jhessica Mary Kanda Algoritmos: - Fconex (Fortemente Conexo) - Busca em Profundidade - Busca em Largura - Dijkstra Bacharelado em ... [More]
chamOS ProjectProject Status: CLOSED chamOS: charming absolutly minimalistic operating system. Monolithic kernel. Made for educational purposes... NEW VERSION!!! CHECK IT OUT.What exactly will chamOS be? chamOS aims to be a simple operating system for 32-bit x86 PCs, with a monolithic kernel ... [More]
Chords and Scales Applet for Guitar and Keyboard DescriptionApplet that displays Chords and Scales on Guitar Fret, Keyboard, and Musical Notation. Notes, Chords, Scales, Positions, Capo and Keys can be dynamically configured. Also includes a Chord Finder and a Chord Player. DevelopmentWish List: ... [More]
FOLIEFeaturesFOLIE which means "folly" in French stands for First-Order Logic Integrating Environment. It consists of a program that recognizes a theory written in a language of first order logic with polymorphic types and checks if sorts, terms, formulas and proofs are correctly defined. ... [More]
Theory Prover Performace Tool Performance analyzer for theory provers based on TPTP problem library (http://www.tptp.org). The goal of this project is to provide tool for inference engine developers to easily compare their engines performance to others on problems from the TPTP library.
Copyright © 2013 Black Duck Software, Inc. and its contributors, Some Rights Reserved. Unless otherwise marked, this work is licensed under a Creative Commons Attribution 3.0 Unported License . Ohloh ® and the Ohloh logo are trademarks of Black Duck Software, Inc. in the United States and/or other jurisdictions. All other trademarks are the property of their respective holders.