CziSKY

cubiml-demo

A simple ML-like programming language with subtyping and full type inference.

apollo-typst

Typst blog template based on Zola, typst.ts, and apollo.

veripy

Python3 auto-active verification library (migrated to an Intel project)

RuleNotation

Write monad in natural deduction style.

sourcebuddy

Java source code compiler facade for the Java JDK built-in Java compiler

liquidjava

zombie_paper

shiroa

shiroa is a simple tool for creating modern online books in pure typst.

resilient-ll-parsing

exotic

A bestiary of classes implementing exotic semantics in Java

lyzh

A well-documented minimal dependently-typed language for my friend Lyzh

japp

multi-school-sop

A latex template for writing statement-of-purpose for many schools at the same time

programming-language-research

✨ Programming Language Research, Applied PLT & Compilers

mediKanren

Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.

typst.ts

Run Typst in JavaScriptWorld.

gaussian-splatting

Original reference implementation of "3D Gaussian Splatting for Real-Time Radiance Field Rendering"

typedclojure

An optional type system for Clojure

SuperPythonic

Life is short, let's go SUUUPERPYTHOOOONIC!

indeep

A dead simple distributed object storage

project-generator

Generates a project with Aya infrastructure and Grammar-Kit parsing setup.

fla

formal language and automata

3A-throwers.github.io

A website for 3A related information.

inet-cute

An implementation of interaction nets. -- ASCII art inspired syntax. -- Pure postfix expression. -- Using a stack-based low-layer language to build nets.

nbe-for-mltt

Normalization by Evaluation for Martin-Löf Type Theory

ante

A safe, easy systems language

raft

Raft library for maintaining a replicated state machine

llama2.c

Inference Llama 2 in one file of pure C

rustlings

:crab: Small exercises to get you used to reading and writing Rust code!

mini-lsm

A tutorial of building an LSM-Tree storage engine in a week!