Controlix

Controlix is a virtual-circuit based operating system written in RTL.

Features

Verifiable
Synchronous
Distributed
Synthesizable
Portable
Orthogonal
Retargetable

Project Activity

See All Activity >

License

Public Domain

Follow Controlix

Controlix Web Site

Other Useful Business Software

Auth for GenAI | Auth0

Enable AI agents to securely access tools, workflows, and data with fine-grained control and just a few lines of code.

Easily implement secure login experiences for AI Agents - from interactive chatbots to background workers with Auth0. Auth for GenAI is now available in Developer Preview

Try free now

Rate This Project

User Reviews

Be the first to post a review of Controlix!

Additional Project Details

Intended Audience

Advanced End Users

User Interface

Console/Terminal, Command-line

Programming Language

Assembly, C, VHDL/Verilog

Related Categories

Assembly Operating System Kernels, C Operating System Kernels, VHDL/Verilog Operating System Kernels

Registered

2013-01-19

Similar Business Software

VisitUs Reception

Internationally recognized organizations such as Yamaha, Nespresso and government authorities have already successfully integrated our visitor management software into their operations They can instantly notify staff of guest arrivals and deliveries, access live visitor tracking, enhance...

See Software
NMIS

FirstWave’s NMIS is a complete network management system that provides fault, performance, and configuration management, performance graphs, and threshold alerts. Business rules allow for highly granular notification policies with many types of notification methods. NMIS consolidates multiple...

See Software
Onspring

Onspring is an award-winning GRC automation and reporting software. Our SaaS platform is known for flexibility and ease of use for end-users and administrators. Simple, no-code, drag-and-drop functionality makes it easy to create new applications, workflows, and reports independently without...

See Software