Search Results for "theory"

x
Sort By:

Showing 3 open source projects for "theory"

View related business solutions
Compilers Clear Filters & Widen Search
  • Ship Agents Faster Icon
    Ship Agents Faster

    Transform your applications and workflows into powerful agentic systems at global scale.

    Gemini 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.
    Start Free
  • One Monitoring Tool for IT, OT and Cloud | Free Trial Icon
    One Monitoring Tool for IT, OT and Cloud | Free Trial

    Vendor-agnostic monitoring across on-prem servers, cloud platforms and OT devices, all in one dashboard. No more tool sprawl.

    Modern infrastructure spans data centers, cloud platforms and factory floors, and every blind spot between them is a risk. PRTG supports SNMP, WMI, SSH and other standard protocols to monitor IT, OT and hybrid environments through one customizable dashboard. Build the views your team needs, from network health to application performance, without switching tools. Try PRTG free for 30 days now.
    Try PRTG Free
  • 1
    koka

    koka

    Koka language compiler and interpreter

    ...Koka tracks the (side) effects of every function in its type, where pure and effectful computations are distinguished. The precise effect typing gives Koka rock-solid semantics backed by well-studied category theory, which makes Koka particularly easy to reason about for both humans and compilers. Effect handlers let you define advanced control abstractions, like exceptions, async/await, or probabilistic programs, as a user library in a typed and composable way. Perceus is an advanced compilation method for reference counting.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2

    Wirthless

    A simple programming language for teaching language theory

    Wirthless is a language developed for ThyLordRoot's "Developing A Programming Language" lecture series on Youtube. Wirthless is a simple language with no particular goal of fitness for use, but designed as a trivial language to demonstrate concepts related to language theory and programming languages. This project archives code developed over the course of the lecture series as well as lecture slides.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    The aim of this project is to realize an implementation of a Random Access Machine (which is a common tool in theory of computer science).
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next

Related Categories

veeam logo