Shamrock-Frost

BrouwerFixedPoint

hackett

WIP implementation of a Haskell 98-like Lisp in Racket

jordan-holder

A proof of the Jordan-Hölder theorem, formalized in the Lean Proof Assistant

SmartAssistantAssistant

A unified API for creating Alexa Skills and Google Actions

TopologyAndGroupoids

Cosette

Cosette is an automated SQL solver powered by Coq and Rosette.

better-parse

A nice parser combinator library for Kotlin

boolean_rings

BrenLab

CubeDraftHelper

documentation

Documentation for the PureScript language, compiler, and tools.

FormalComplexAnalysis

FRCDashboard

:video_game: Extensible, JavaScript-based driving dashboard framework for the FIRST Robotics Competition.

FTB-Industrial-Contraptions

Let's give this a go?

GitExample410

lean-1

Lean Theorem Prover

lean4

Lean 4 programming language and theorem prover

leanup

A Lean nightly installer for CSE 505.

mathlib

Lean mathematical components library

myTCG

A *very* barebones TCG created as my final project for APCS.

nate

his full name is nathan

nIHOPS

An Idris reimplementation of HOPES

pie

The Pie language, which accompanies The Little Typer by Friedman and Christiansen

PowerUp

The Roosevelt Iron Riders' (Team 4180) Iterative Java program for the 2018 FIRST Robotics Competition

RecursiveFunctionsOfSymbolicExpressionsAndTheirComputationByMachine

shamrock-frost.github.io

souffle

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

Source-Formatter-Chrome-Extension

This extension reformats the Seattle Schools website “The Source” (https://ps.seattleschools.org/public/). It's completely unofficial so don’t contact Seattle Schools if something is broken.

stacks-project

Repository for the Stacks Project

WXML_Sp2022