⭐️ A friendly language for building type-safe, scalable systems!

The Agda standard library

Kubernetes-like control planes for form-factors and use-cases beyond Kubernetes and container workloads.

Bitburner Game

An introduction to programming language theory in Agda

parallel graph management and execution in heterogeneous computing

A presentation on natural language processing for beginners for PYAR2.

Insights Core is a data collection and processing framework used by Red Hat Insights

Adventure Lookup Main Repository

Ansible-based client for Insights

Animation engine for explanatory math videos

JBoss VFS

DEPRECATED

JBoss EJB client for WildFly

Ticket Monster is a web application using the JBoss 7.0 Application Server and the Spring framework. It provides much of the same functionality as the real web-app Ticket Master. Ticket Monster all…

Compiler

JBoss VFS

JBoss VFS

Weld, including integrations for Servlet containers and Java SE, examples and documentation

A Modular Classloading System

Version 1 of the Modular Service Container

WildFly Application Server