shamrock-frost Goto Github PK

beginning-practical-haskell

An introductory Haskell programming course by Richard Cook

better-parse

A nice parser combinator library for Kotlin

boolean_rings

brenlab

brouwerfixedpoint

cosette

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

cubedrafthelper

documentation

Documentation for the PureScript language, compiler, and tools.

formalcomplexanalysis

frc-scouting-app

Android scouting app for the 2017 FRC Steam-works competition.

frcdashboard

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

ftb-industrial-contraptions

Let's give this a go?

gitexample410

hackett

WIP implementation of a Haskell 98-like Lisp in Racket

hakyll

A simple static site generator library in Haskell.

haskell-code-day

jordan-holder

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

latexbot

Discord bot that renders LaTeX equations.

lean

Some experiments with the Lean proof assistant

lean-1

Lean Theorem Prover

lean4

Lean 4 programming language and theorem prover

leanup

A Lean nightly installer for CSE 505.

library_dev

Lean standard library (development)

liskell

Haskell Semantics with Lisp Syntax

lisp8x

Lisp for the TI-83+ line of graphing calculators

mathlib

Lean mathematical components library

minima

Minima is a one-size-fits-all Jekyll theme for writers.

mu

A prototype Lean build tool

mytcg

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

nate

his full name is nathan