CategoryTheory Files

Status: Pre-Alpha

Brought to you by: monstr3d

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
Parent folder
CategoryTheory-src-2.0.zip	2009-01-04	1.0 MB	0
Totals: 1 Item		1.0 MB	0

Other Useful Business Software

Keep company data safe with Chrome Enterprise

Protect your business with AI policies and data loss prevention in the browser

Make AI work your way with Chrome Enterprise. Block unapproved sites and set custom data controls that align with your company's policies.

Download Chrome

Gen AI apps are built with MongoDB Atlas

Build gen AI apps with an all-in-one modern database: MongoDB Atlas

MongoDB Atlas provides built-in vector search and a flexible document model so developers can build, scale, and run gen AI apps without stitching together multiple databases. From LLM integration to semantic search, Atlas simplifies your AI architecture—and it’s free to get started.

Start Free

Recommended Projects

X-Bc - a GUI to the shell calculator bc
X-Bc (formerly: xbc) is a graphical user interface to the command line calculator bc. All Inputs and Outputs stays visible for editing and comparing. Functionality: trigonometry, number-theory, exponential funcs, scientific constants, primenumbers ...
JMCAD - modeling of dynamic systems
JMCAD is an program for the modeling and simulation of complex dynamic systems. This includes the ability to construct and simulate block diagrams. The visual block diagram interface offers a simple method for constructing, modifying and maintaining complex system models. The simulation engine...
jmulti
JMulTi is an interactive software designed for univariate and multivariate time series analysis. It has a Java graphical user interface that uses an external engine for statistical computations. It uses the framework JStatCom.
MathCast Equation Editor
A Mathematics Equation Editor. Lets you type in equations, which can be added to documents, emails, and webpages or simply exported to picture files. It features a simple graphical interface, equation list management, MathML support, and the unique feature "Mathcasting" for adding math to XHTML.
mXparser - Math Parser Java C# Library
mXparser is highly flexible parser of math expressions. Software provides easy to use API for JAVA, Android, C# .NET/MONO (CLS). Main functionalities: - basic operators, i.e.: +, -, *, ^, ! - Boolean logic operators i.e.: or, and, xor - binary relations i.e.: =, <, > - math functions...

CategoryTheory Files

Get an email when there's a new version of CategoryTheory