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/SystemF2Core
A racket #lang for System F that, after some macro expansion, is translated into GHC Core IR. Mostly proof of concept
Shamrock-Frost/beginning-practical-haskell
An introductory Haskell programming course by Richard Cook
Shamrock-Frost/FRC-Scouting-App
Android scouting app for the 2017 FRC Steam-works competition.
Shamrock-Frost/Hakyll
A simple static site generator library in Haskell.
Shamrock-Frost/Haskell-Code-Day
Shamrock-Frost/LatexBot
Discord bot that renders LaTeX equations.
Shamrock-Frost/lean
Some experiments with the Lean proof assistant
Shamrock-Frost/library_dev
Lean standard library (development)
Shamrock-Frost/liskell
Haskell Semantics with Lisp Syntax
Shamrock-Frost/lisp8x
Lisp for the TI-83+ line of graphing calculators
Shamrock-Frost/minima
Minima is a one-size-fits-all Jekyll theme for writers.
Shamrock-Frost/mu
A prototype Lean build tool
Shamrock-Frost/ParticleSim
a java based particle simulator for charged particles
Shamrock-Frost/PepBot2017
Shamrock-Frost/pink-bliss-theme
Alex Schroeder's Pink Bliss emacs theme updated for emacs24
Shamrock-Frost/rflux
A mod about light
Shamrock-Frost/scheme
Write You a Scheme
Shamrock-Frost/StrongholdRobot
FRC Team 4180's 2016 code for FRC Stronghold.
Shamrock-Frost/tao-analysis-one
Shamrock-Frost/text-app
A text editor for ChromeOS and Chrome
Shamrock-Frost/The-Nametag-Game
Shamrock-Frost/TinkersSteelworks
A steel-based expansion for Tinkers' Construct.
Shamrock-Frost/Untyped-Blog
Shamrock-Frost/xena
Lean Library currently studying for a degree at Imperial College
Shamrock-Frost/XTR-Memory-ScannerMapper