mattjquinn

jcompiler

a compiler for the J programming language

armcoq

book

pest book

coq

Coq is a formal proof management system.

customdwm

Fork of the DWM window manager.

distsyscoq

low-level distributed systems with Coq

sqlcoq

modelling SQL relations in Coq

stm32

programs for the STM32 microcontroller

teradata-overlaps-proof

Emulatibility Proof for Teradata's OVERLAPS on Google BigQuery

topology

EducationalSoftwareLabApplications

FastAPI

fidelis-django

graphql-java-annotations

GraphQL Annotations for Java

learning-parser-combinators

From https://bodil.lol/parser-combinators/

LineStorm

The Greatest String in the World

Mimsy

Control Software for Mimsy - Based on LX and DBLX

mlang

Compiler for the M language, used to compute the income tax of French taxpayers

polyglot

The Polyglot LR parser generator

ray-tracer-shirley

A Rust translation of Peter Shirley's ray tracer

rustedjvm

the beginnings of a JVM in Rust

Spring-Boot

StudentsManagment-JAVA-

SwahiliMazoezi