qsctr

Programming Languages Research Engineer

@GaloisInc

Pinned Repositories

cryptol
Cryptol: The Language of Cryptography
Language:Haskell1.1k 53 1.1k119
formal-verso
Formal Verification for Soroban
Language:Rust1 5 00
saw-script
The SAW scripting language.
Language:Haskell433 34 1.1k63
adapta-gtk-theme
An adaptive Gtk+ theme based on Material Design Guidelines
Language:CSS1 2 00
aoc-2022
My solutions to Advent of Code 2022
Language:Haskell1 1 00
coq-synth
Coq synthesizer
Language:OCaml2 1 20
hackmit-2020-puzzle
Our solutions to the HackMIT 2020 puzzle
Language:Haskell1 3 00
link-lang
The Link Programming Language Compiler
Language:Haskell1 2 00
metro
A functional programming language (work in progress)
Language:Haskell6 4 00
dice
Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
Language:OCaml73 6 3520

qsctr's Repositories

qsctr/metro
A functional programming language (work in progress)
Language:Haskell6 4 00
qsctr/coq-synth
Coq synthesizer
Language:OCaml2 1 20
qsctr/adapta-gtk-theme
An adaptive Gtk+ theme based on Material Design Guidelines
Language:CSS1 2 00
qsctr/aoc-2022
My solutions to Advent of Code 2022
Language:Haskell1 1 00
qsctr/hackmit-2020-puzzle
Our solutions to the HackMIT 2020 puzzle
Language:Haskell1 3 00
qsctr/ocean-dive
Ocean Dive VR Game
Language:C#1 2 01
qsctr/vex-2019
Program for 4253G 2019 Worlds V5 robot
Language:C++0 2 00
qsctr/aoc-2021
My solutions to Advent of Code 2021
Language:Haskell1 0
qsctr/category-theory-agda
Formalization of "Category Theory" by Steve Awodey in Agda
Language:Agda
qsctr/coq-quantified-theorems
Quantified theorem benchmarks in Coq translated from https://github.com/wky/aeval/tree/adt-ind/bench_adt
Language:Coq2 0
qsctr/cs199
Report for CS 199 Directed Research
Language:TeX1 0
qsctr/ctf
CTF writeups for team Applicative
Language:Python2 0
qsctr/dice
Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
Language:OCaml1 0
qsctr/dotfiles
My dotfiles
Language:Shell2 0
qsctr/google-foobar
Google foo.bar challenge
Language:Python1 0
qsctr/into-the-wild-project
for English class
Language:JavaScript2 0
qsctr/k-means
k-means clustering
Language:Haskell2 0
qsctr/language-coq
Coq AST and pretty-printer written in Haskell
Language:Haskell0 0
qsctr/logic-gate-calculator
Single-digit LED calculator using logic gates
Language:Haskell2 0
qsctr/navigate
Informed search (AI)
Language:TypeScript
qsctr/package-sets
A curated list of PureScript packages
Language:Shell
qsctr/purescript-native
A native compiler backend for PureScript (via C++)
Language:Haskell2 0
qsctr/sicp-exercises
My solutions to SICP exercises
Language:Scheme
qsctr/smt2-parser
Parse smt2 in Haskell
Language:Haskell0 0
qsctr/smt2coq
Translate SMT-LIB quantified theorems into Coq
Language:Haskell1 0
qsctr/soroban-examples
Example Soroban Contracts
qsctr/ssh-ucla-vpn
SSH over UCLA campus VPN
Language:Shell
qsctr/stack-templates
My stack templates
2 0
qsctr/vex-2018
Program for 4253G 2018 VEX Turning Point robot
Language:C2 0
qsctr/vscode-haskell-config
My VSCode workspace configuration for Haskell projects
2 0