Pinned Repositories
plane-tracker
UAV Tracking Software for CSE 145 Project
react-drag-sort
draggable sort component
rest
A library for rewriting
rest-old
Technical-Theatre-Assistant
Android application intended to assist carpenters doing technical theatre work.
zgrannan's Repositories
zgrannan/react-drag-sort
draggable sort component
zgrannan/rest-old
zgrannan/agda
Agda is a dependently typed programming language / interactive theorem prover.
zgrannan/agda-stdlib
The Agda standard library
zgrannan/benchmarks
Tons of Inductive Problems: The Benchmarks
zgrannan/bootstrap-daterangepicker
Date range picker component for Bootstrap
zgrannan/EquationalReasoningInLiquidHaskell
Derivation of Optimized Definitions Based on Specs
zgrannan/eth-docker
Docker automation for Ethereum staking full nodes
zgrannan/gpt-2
Code for the paper "Language Models are Unsupervised Multitask Learners"
zgrannan/Idris-dev
A Dependently Typed Functional Programming Language
zgrannan/liquid-fixpoint
Horn Clause Constraint Solving for Liquid Types
zgrannan/liquidhaskell
Liquid Types For Haskell
zgrannan/markdown-pp
Preprocessor for Markdown files to generate a table of contents and other documentation needs
zgrannan/nixpkgs
Nix Packages collection
zgrannan/notmuch-addrlookup-c
Address lookup tool for Notmuch in C using GLib and libnotmuch
zgrannan/openpgpjs
OpenPGP implementation for JavaScript
zgrannan/pgo
PGo is a source to source compiler from Modular PlusCal specs into Go programs.
zgrannan/plfa.github.io
Introduction to programming language theory in Agda
zgrannan/prost
PROST! a Protocol Buffers implementation for the Rust Language
zgrannan/react-bootstrap-daterangepicker
A date/time picker for react (using bootstrap). This is a react port of bootstrap-daterangepicker.
zgrannan/react-bootstrap-switch
Turn checkboxes into toggle switches.
zgrannan/react-list-input
Do your users need to manage a list of stuff? Edit it? Drag it around? Use this!
zgrannan/react-native-fast-openpgp
OpenPGP for react native made with golang for fast performance
zgrannan/react-native-macos
A framework for building native macOS apps with React.
zgrannan/scapegoat
Scala compiler plugin for static code analysis
zgrannan/slick-pg
Slick extensions for PostgreSQL
zgrannan/tendermint-prusti
zgrannan/test-upgrade-extension
Test extension for https://bugs.chromium.org/p/chromium/issues/detail?id=703422
zgrannan/tla-tools
TLA+ tools for Emacs
zgrannan/webext-redux
A set of utilities for building Redux applications in Web Extensions.