qsctr

Bretton's repositories

metro

A functional programming language (work in progress)

Language:HaskellMIT6 40

coq-synth

Coq synthesizer

Language:OCamlMIT2 1 2

adapta-gtk-theme

An adaptive Gtk+ theme based on Material Design Guidelines

Language:CSSGPL-2.01 20

aoc-2022

My solutions to Advent of Code 2022

Language:HaskellMIT1 10

hackmit-2020-puzzle

Our solutions to the HackMIT 2020 puzzle

Language:HaskellMIT1 30

vex-2019

Program for 4253G 2019 Worlds V5 robot

Language:C++MIT020

aoc-2021

My solutions to Advent of Code 2021

Language:HaskellMIT010

category-theory-agda

Formalization of "Category Theory" by Steve Awodey in Agda

Language:AgdaMIT000

clr-inline

Mirror of https://gitlab.com/tim-m89/clr-haskell

Language:HaskellNOASSERTION000

coq-quantified-theorems

Quantified theorem benchmarks in Coq translated from https://github.com/wky/aeval/tree/adt-ind/bench_adt

Language:CoqMIT020

cs199

Report for CS 199 Directed Research

Language:TeXMIT010

ctf

CTF writeups for team Applicative

Language:PythonMIT020

dice

Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)

Language:OCamlApache-2.0010

dotfiles

My dotfiles

Language:ShellMIT020

google-foobar

Google foo.bar challenge

Language:PythonMIT010

into-the-wild-project

for English class

Language:JavaScript020

k-means

k-means clustering

Language:HaskellMIT020

language-coq

Coq AST and pretty-printer written in Haskell

Language:HaskellMIT000

logic-gate-calculator

Single-digit LED calculator using logic gates

Language:HaskellMIT020

navigate

Informed search (AI)

Language:TypeScriptMIT020

package-sets

A curated list of PureScript packages

Language:ShellBSD-3-Clause020

purescript-native

A native compiler backend for PureScript (via C++)

Language:HaskellBSD-3-Clause020

sicp-exercises

My solutions to SICP exercises

Language:Scheme010

smt2-parser

Parse smt2 in Haskell

Language:HaskellBSD-3-Clause000

smt2coq

Translate SMT-LIB quantified theorems into Coq

Language:HaskellMIT010

soroban-examples

Example Soroban Contracts

Language:RustApache-2.0000

ssh-ucla-vpn

SSH over UCLA campus VPN

Language:ShellMIT020

stack-templates

My stack templates

020

vex-2018

Program for 4253G 2018 VEX Turning Point robot

Language:CMIT020

vscode-haskell-config

My VSCode workspace configuration for Haskell projects

MIT020