Pinned Repositories
agda-digit
Ideas for digit encodings in Agda
agda-from-nothing
A workshop on learning Agda with minimal prerequisites.
agda-from-nothing-2017
Agda from Nothing: Order in the Types
agda-in-10-minutes
A 10-minute introduction to Agda
agda-travis
Example repo for building Agda files with Travis CI
agda-tutorial-exercises
My attempts at solving the exercises from http://people.inf.elte.hu/divip/AgdaTutorial/Index.html
greek-grammar
Modeling Ancient Greek Grammar
redprl-notes
Notes about RedPRL
sblgnt-osis
SBL Greek New Testament in OSIS XML format.
ucd
Unicode Character Database version history with normalized filenames
scott-fleischman's Repositories
scott-fleischman/greek-grammar
Modeling Ancient Greek Grammar
scott-fleischman/agda-travis
Example repo for building Agda files with Travis CI
scott-fleischman/ucd
Unicode Character Database version history with normalized filenames
scott-fleischman/docker-agda
Docker image for Agda
scott-fleischman/mini-tt
Hacking on code from the paper "A simple type-theoretic language: Mini-TT" by Coquand et al.
scott-fleischman/multiplicative-persistence
scott-fleischman/agda-binary-vector
Experiments in bijections between binary trees and vectors of length 2^k
scott-fleischman/alice-in-wonderland
Textual analysis and Twitter bot https://twitter.com/poorlittlealice
scott-fleischman/arithmetic-experiment
Experiments with basic arithmetic
scott-fleischman/ciphlaim
scott-fleischman/cubical
scott-fleischman/elaboration-zoo
Minimal implementations for dependent type checking and elaboration
scott-fleischman/fantastic-spoon
Simple website with auth: Haskell (Yesod), Plotly, PostgreSQL
scott-fleischman/fin
Experiments with finite types
scott-fleischman/github
The github API for Haskell
scott-fleischman/haskell-processes
Experiment to capture and interleave logs from multiple processes
scott-fleischman/HoTT-UF-Agda-Lecture-Notes
Lecture notes on univalent foundations of mathematics with Agda
scott-fleischman/lispor
scott-fleischman/meesh
scott-fleischman/oplss-2014-norell
My reworkings of Ulf Norell's Programming in Agda in the Oregon Programming Languages Summer School 2014
scott-fleischman/oplss-notes-2018
Notes and handouts from OPLSS 2018
scott-fleischman/reason-image
Experiments with ReasonML, HTML canvas and images.
scott-fleischman/repo-change-file-permission
A repository for testing the GitHub API compare commits when a file only changes permissions.
scott-fleischman/repo-remove-submodule
Test the GitHub API via the Haskell `github` library for repositories that have removed submodules.
scott-fleischman/rosary
Rosary web app written in ReasonML
scott-fleischman/see-tt
Experiment in type theory UI
scott-fleischman/shakespeare
Shakespeare analysis and Twitter bot
scott-fleischman/shark
scott-fleischman/tlaplus-scratch
scott-fleischman/TypeTopology
Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.