REDLIB Files

Status: Alpha

Brought to you by: farn_red

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
bch.csma-cd.model-checking.081008.tar.gz	2008-10-08	2.6 kB	0
Totals: 1 Item		2.6 kB	0

Other Useful Business Software

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

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

Recommended Projects

Automata editor
automata editor
DEVS-Suite Simulator
Component, CA, and CCA models; superdense time, DB repo, testing, etc.
Qulacs
Variational Quantum Circuit Simulator for Quantum Computation Research
SuperWillow
SuperWillow is a Music Generation program. Artists have many influences which they have accumulated over the years by listening to countless pieces of music, this principle is reflected in SuperWillow.
ModelingToolkit.jl
Modeling framework for automatically parallelized scientific ML

REDLIB Files

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