We have collection of more than 1 Million open source products ranging from Enterprise product to
small libraries in all platforms. We aggregate information from all open source repositories.
Search and find the best for your needs. Check out projects section.
This simple piece of software visualize SQL-based schemas and queries in a format based on Category Theory. The theory behind this is due to David Spivak and Carlo Curino. More details at: http://math.mit.edu/~dspivak/
A tutorial essay on the monad concept. What does the word monad mean? The reader will have a concrete understanding of the concept that the term monad denotes. The reader will be able to confidentally use the term in discussion and recognise episodes where the term is being used improperly. What does the word monad not mean? This essay will address many of the popular misunderstandings around the term monad. Readers will be equipped to determine if they are observing an incident of misappropriat
OCamL, Genetic Programming (news: currently porting to F# for easier GUI production) Abstraction-Based Genetic Programming (ABGP)ABGP is a genetic programming system in which the genotype search space is partitioned by the proofs to which each program is linked to via the Curry-Howard isomorphism. The proofs act as species for organsims by specifying a pattern in which typed genes can be plugged in. Organisms are arrangements of gene as specified by the species to which they belong. Each gene is