Pinned Repositories
BrouwerFixedPoint
Cosette
Cosette is an automated SQL solver powered by Coq and Rosette.
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
SystemF2Core
A racket #lang for System F that, after some macro expansion, is translated into GHC Core IR. Mostly proof of concept
TopologyAndGroupoids
Shamrock-Frost's Repositories
Shamrock-Frost/BrouwerFixedPoint
Shamrock-Frost/hackett
WIP implementation of a Haskell 98-like Lisp in Racket
Shamrock-Frost/jordan-holder
A proof of the Jordan-Hölder theorem, formalized in the Lean Proof Assistant
Shamrock-Frost/SmartAssistantAssistant
A unified API for creating Alexa Skills and Google Actions
Shamrock-Frost/TopologyAndGroupoids
Shamrock-Frost/Cosette
Cosette is an automated SQL solver powered by Coq and Rosette.
Shamrock-Frost/better-parse
A nice parser combinator library for Kotlin
Shamrock-Frost/boolean_rings
Shamrock-Frost/BrenLab
Shamrock-Frost/CubeDraftHelper
Shamrock-Frost/documentation
Documentation for the PureScript language, compiler, and tools.
Shamrock-Frost/FormalComplexAnalysis
Shamrock-Frost/FRCDashboard
:video_game: Extensible, JavaScript-based driving dashboard framework for the FIRST Robotics Competition.
Shamrock-Frost/FTB-Industrial-Contraptions
Let's give this a go?
Shamrock-Frost/GitExample410
Shamrock-Frost/lean-1
Lean Theorem Prover
Shamrock-Frost/lean4
Lean 4 programming language and theorem prover
Shamrock-Frost/leanup
A Lean nightly installer for CSE 505.
Shamrock-Frost/mathlib
Lean mathematical components library
Shamrock-Frost/myTCG
A *very* barebones TCG created as my final project for APCS.
Shamrock-Frost/nate
his full name is nathan
Shamrock-Frost/nIHOPS
An Idris reimplementation of HOPES
Shamrock-Frost/pie
The Pie language, which accompanies The Little Typer by Friedman and Christiansen
Shamrock-Frost/PowerUp
The Roosevelt Iron Riders' (Team 4180) Iterative Java program for the 2018 FIRST Robotics Competition
Shamrock-Frost/RecursiveFunctionsOfSymbolicExpressionsAndTheirComputationByMachine
Shamrock-Frost/shamrock-frost.github.io
Shamrock-Frost/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.
Shamrock-Frost/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.
Shamrock-Frost/stacks-project
Repository for the Stacks Project
Shamrock-Frost/WXML_Sp2022