cderici

fun

My old (and some recent) programs that I enjoyed both implementing and watching it run.

rax

A nanopass compiler from (a small subset of) Racket to x86_64 Assembly

linklets-redex-model

a theoretical model in Redex for the linklets

trace-draw

A visualizer for RPython JIT traces.

abstract-machine-interp

a theoretical model in Redex to investigate stack/heap balance

canercharm

cderici

cderici.github.io

charm

Parsing and testing Juju charms

codeql-uboot

description

Describes the Juju 2.0 serialization format of a model

golua

A Lua compiler / runtime in Go

handy

toolbox for my research

IU-P423-P523-E313-E513-Fall-2020

Web page for IU Compiler Course for Fall 2020

juju

Universal Operator Lifecycle Manager (OLM) for Kubernetes operators, and operators for traditional Linux and Windows apps, with declarative integration between operators for automated microservice integration.

juju-api

Early design work for a next-generation RESTful Juju client API.

juju-qa-jenkins

Jenkins configuration for Juju CI

jujulibtest

loggo

A logging library for Go. Doesn't use the built in go log standard library, but instead offers a replacement.

packaging

An abstraction of different linux packaging systems.

py-macaroon-bakery

Python code to implement the httpbakery conventions

python-libjuju

Python library for the Juju API

racket

The Racket repository

racketdoc

sqlair

Friendly type mapping for SQL databases

terraform-provider-juju

A Terraform provider for Juju

testing

Testing gocheck suites and checkers used across juju projects

thesis-proposal

utils

General utility functions

zinc-k8s-operator

Charmed Operator for Zinc: a search engine that does full-text indexing. Zinc is a lightweight alternative to elasticsearch.