Beast code in Giters

David Young's repositories

cocategory-logic

Language:Haskell4 30

fun-suslik

Language:Haskell300

suslik

Synthesis of Heap-Manipulating Programs from Separation Logic

Language:ScalaNOASSERTION2 3 2

locales

Language:Agda100

utlc-eval

Web-based evaluator for the untyped lambda calculus extended with a print primitive. Also has a definitions panel

Language:JavaScript100

agda-stuff

Category theory, and other things, in Agda

Language:Agda000

categorical-semantics

Categorical semantics in Agda

Language:Agda000

Pika-agda

A formal model of the semantics of Pika and the semantics of synthetic separation logic

Language:Agda000

agda

Agda is a dependently typed programming language / interactive theorem prover.

NOASSERTION000

anf-example

Language:Haskell000

architect

Language:Haskell000

class-invs

000

djinn

Generate Haskell code from a type

Language:HaskellBSD-3-Clause020

egret

Equational reasoning tool

Language:Haskell000

eq-calc

Language:Haskell020

judge

Language:HaskellBSD-2-Clause020

lambda-calculus

Language:Agda000

minima

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

Language:SCSSMIT020

module-transform

Language:Haskell000

patterns

Language:Haskell020

PikaC

Language:TeX000

pldi-se

000

propagator-synth

Language:Haskell000

rewrite-parser

Language:Haskell000

SpectreGuard

Data-centric defense mechanism against Spectre attacks. (DAC'19)

Language:C000

stratify

Language:JavaScript000

suslik-adt

Language:Haskell000

synapse

Tool for making and working with systems of inference rules

Language:Haskell000

valigen

Language:Haskell000

wordle-solver

Language:Haskell000