Search Results for "cai"
Sort By:
Showing 8 open source projects for "cai"
View related business solutions-
Secure File Transfer for Windows with Cerberus by RedwoodCerberus supports unlimited users and connections on a single IP, with built-in encryption, 2FA, and a browser-based web client — all deployable in under 15 minutes with a 25-day free trial.
-
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
1
The Penn Lambda Calculator is an interactive, graphics-based pedagogical software that helps students of linguistics and computer science practice the typed lambda calculus.
-
2
3-DPhysicsSim
3-DPhysicsSim is an interactive 3-D physics simulator.
3-DPhysicsSim is an interactive 3-D physics simulator which allows you to create a scene filled with objects and see how the objects act in real-time when governed by the laws of physics. 3-DPhysicsSim was created with the help of Irrlicht, WxWidgets and Bullet -
3
The program evaluates ordinal expressions and relations. displaying the normal form output in plain text and/or TeX format. It supports notations for ordinals through and somewhat beyond those definable by the Veblen function.
-
4
-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
5
We introduce a completely visual representation based on typed Mind Maps to represent steps of calculation for a pure untyped lambda calculator, VLM.
-
6
Applications for mobile phones with Java installed (KVM MIPS 2), which functions as a calculator to solve basic problems offered to scientists of computing.
-
7
A simple CPU simulator whose goal is to make assembly learning easier. This goal is reached giving a simple calculator, called ENIAC, with a simple CPU, called vCPU. The vCPU's instructions are very simple and easy to understand.
-
8
It basically creates graphical representations for the functions you introduce. Current STABLE branch only includes win32 version. The DEVEL branch includes also a GTK version. Patches are welcome.
- Previous
- You're on page 1
- Next
