pigworker/PoP

being code and blether about presheaves on purpose

Language: TeX - Size: 9.77 KB - Last synced: 5 days ago - Pushed: 5 days ago - Stars: 0 - Forks: 0

pigworker/Samizdat

being bits and pieces I'm inclined to leave lying around

Language: Agda - Size: 184 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 40 - Forks: 1

pigworker/LEOG

being an implementation of the calculus of constructions

Language: TeX - Size: 374 KB - Last synced: about 2 months ago - Pushed: about 1 year ago - Stars: 15 - Forks: 1

pigworker/CS410-17

being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde

Language: Agda - Size: 72.3 KB - Last synced: 3 months ago - Pushed: almost 6 years ago - Stars: 257 - Forks: 26

pigworker/CS410-18

being the teaching materials and exercises for CS410 in the 2018/19 session

Language: Agda - Size: 95.7 KB - Last synced: 3 months ago - Pushed: about 5 years ago - Stars: 56 - Forks: 4

pigworker/leibniz

being a toy which invites its user to evaluate applicative Haskell programs

Language: Haskell - Size: 21.5 KB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 1 - Forks: 1

pigworker/MetaprogAgda

being the materials for Summer 2013's course

Size: 2.22 MB - Last synced: 6 months ago - Pushed: about 1 year ago - Stars: 108 - Forks: 17

pigworker/CS410-13

being the notes and materials for CS410 in the 2013/14 academic session

Language: Agda - Size: 1.28 MB - Last synced: 8 months ago - Pushed: almost 10 years ago - Stars: 27 - Forks: 2

pigworker/CS311-classwork-2018

Language: TeX - Size: 5.02 MB - Last synced: 9 months ago - Pushed: over 5 years ago - Stars: 7 - Forks: 1

pigworker/Syrup

being a programming language for sequential circuits

Language: Haskell - Size: 640 KB - Last synced: 9 months ago - Pushed: almost 3 years ago - Stars: 18 - Forks: 0

pigworker/TypesWhoSayNi

being the materials for a paper I have in mind to write about the bidirectional discipline

Language: Agda - Size: 7.03 MB - Last synced: 11 months ago - Pushed: 11 months ago - Stars: 34 - Forks: 2

pigworker/EGTBS

being the introduction to co-de-Bruijn metasyntax

Language: Agda - Size: 3.55 MB - Last synced: 12 months ago - Pushed: about 2 years ago - Stars: 25 - Forks: 2

pigworker/ProgrammerCommaCon

being a collection of Agda-facilitated ramblings

Language: Agda - Size: 260 KB - Last synced: 12 months ago - Pushed: almost 4 years ago - Stars: 33 - Forks: 3

pigworker/shonky

being some experiments, working towards some equipment I wish I had

Language: Haskell - Size: 15.6 KB - Last synced: 12 months ago - Pushed: over 8 years ago - Stars: 37 - Forks: 1

pigworker/SSGEP-DataData

being the materials for "Datatypes of Datatypes" at the Summer School on Generic and Effectful Programming, Oxford

Language: Agda - Size: 832 KB - Last synced: 12 months ago - Pushed: almost 9 years ago - Stars: 19 - Forks: 1

pigworker/Pivotal

Language: Agda - Size: 338 KB - Last synced: 12 months ago - Pushed: over 9 years ago - Stars: 29 - Forks: 5

pigworker/so-pigworker

being the scrapings of my stackoverflow answers

Language: TeX - Size: 227 KB - Last synced: 12 months ago - Pushed: over 4 years ago - Stars: 48 - Forks: 2

pigworker/CS410-14

being the materials for CS410 Advanced Functional Programming in the 2014-15 session

Language: Agda - Size: 1.45 MB - Last synced: 12 months ago - Pushed: almost 9 years ago - Stars: 63 - Forks: 5

pigworker/Totality

being the programs and code for a paper about general recursion

Language: Agda - Size: 2.62 MB - Last synced: 12 months ago - Pushed: about 9 years ago - Stars: 23 - Forks: 0

pigworker/ask-bis

being a second attempt to build the ask proof assistant, hopefully with less flake

Size: 0 Bytes - Last synced: 12 months ago - Pushed: over 1 year ago - Stars: 1 - Forks: 0

pigworker/MGS14

being the lecture code and exercises for Dependently Typed Programming at Midlands Graduate School 2014, in Nottingham

Language: Agda - Size: 198 KB - Last synced: 12 months ago - Pushed: about 10 years ago - Stars: 1 - Forks: 4

pigworker/SmolCat

being an exploration of categories small enough for arrows to have uncontroversially intensional equality

Size: 0 Bytes - Last synced: 12 months ago - Pushed: almost 2 years ago - Stars: 7 - Forks: 0

pigworker/CS316-16

being the course repo for the 2016/17 semester 1 outing of CS316 Functional Programming

Language: Haskell - Size: 1.42 MB - Last synced: 12 months ago - Pushed: over 7 years ago - Stars: 6 - Forks: 1

pigworker/Gigs-Summer-2018

what I did on my holidays

Language: Agda - Size: 20.5 KB - Last synced: 12 months ago - Pushed: almost 6 years ago - Stars: 12 - Forks: 0

pigworker/Ming

being the emperor of Mongo, but also a verb

Language: Agda - Size: 66.4 KB - Last synced: 12 months ago - Pushed: over 5 years ago - Stars: 14 - Forks: 0

pigworker/Ohrid-Agda

being my notes and exercises for the Types Summer School in Ohrid, (FYRO) Macedonia, July 2017

Language: Agda - Size: 44.9 KB - Last synced: 12 months ago - Pushed: almost 7 years ago - Stars: 9 - Forks: 2

pigworker/CS410-15

being the materials for CS410 Advanced Functional Programming in the 2015/16 session

Language: Agda - Size: 1.52 MB - Last synced: 12 months ago - Pushed: almost 8 years ago - Stars: 40 - Forks: 2

pigworker/Box

being a hooliganistic type theory implementation

Language: Haskell - Size: 26.4 KB - Last synced: 12 months ago - Pushed: about 5 years ago - Stars: 8 - Forks: 0

pigworker/LibAgda

Language: Agda - Size: 10.7 KB - Last synced: 12 months ago - Pushed: over 7 years ago - Stars: 9 - Forks: 3

pigworker/Vole

being a funny little programming language with a funny little abstract machine

Language: Haskell - Size: 180 KB - Last synced: 12 months ago - Pushed: almost 9 years ago - Stars: 17 - Forks: 2

pigworker/BiF

being a toy implementation of bidirectional System F

Size: 0 Bytes - Last synced: 12 months ago - Pushed: almost 7 years ago - Stars: 7 - Forks: 0

pigworker/Bi71

being a bidirectional reformulation of Martin-Löf's 1971 type theory

Language: Agda - Size: 1.52 MB - Last synced: 12 months ago - Pushed: over 6 years ago - Stars: 25 - Forks: 1

pigworker/Saturday

being a thing I build on a Saturday

Language: Haskell - Size: 31.3 KB - Last synced: 12 months ago - Pushed: about 6 years ago - Stars: 28 - Forks: 1

pigworker/potato

being an experiment with potato power

Language: TeX - Size: 1.24 MB - Last synced: 12 months ago - Pushed: over 4 years ago - Stars: 23 - Forks: 0

pigworker/OpenSigma

being an attempt to express dependently typed data models

Language: Haskell - Size: 145 KB - Last synced: 12 months ago - Pushed: over 9 years ago - Stars: 6 - Forks: 0

pigworker/PolyTest

being a literate Agda development of a theorem about testing polynomials with summation

Language: TeX - Size: 734 KB - Last synced: 12 months ago - Pushed: over 9 years ago - Stars: 6 - Forks: 1

pigworker/WhatRTypes4

being the materials from my YOW LambdaJam 2016 talk

Language: Haskell - Size: 15.6 KB - Last synced: 12 months ago - Pushed: almost 8 years ago - Stars: 10 - Forks: 1

pigworker/CS410-16

being the lecture materials and exercises for the 2016/17 session of Advanced Functional Programming at Strathclyde

Language: Agda - Size: 58.6 KB - Last synced: 12 months ago - Pushed: almost 7 years ago - Stars: 13 - Forks: 6

pigworker/sharx

being shonky Marx

Language: Haskell - Size: 11.7 KB - Last synced: 12 months ago - Pushed: about 5 years ago - Stars: 2 - Forks: 0

pigworker/CVI

being the Circuit Validation Interpreter

Language: Haskell - Size: 117 KB - Last synced: 12 months ago - Pushed: over 10 years ago - Stars: 7 - Forks: 0

pigworker/Frank

being a slightly rethought version of the Frank implementation

Language: Haskell - Size: 68.4 KB - Last synced: 12 months ago - Pushed: about 8 years ago - Stars: 24 - Forks: 2

pigworker/rod

being that which, if spared, spoils the child

Language: Haskell - Size: 39.1 KB - Last synced: 12 months ago - Pushed: over 5 years ago - Stars: 2 - Forks: 0

pigworker/InteriorDesign

being the monadic treatment of interiors indexed by perimeters

Language: Agda - Size: 19.5 KB - Last synced: 12 months ago - Pushed: almost 6 years ago - Stars: 7 - Forks: 0

pigworker/Bevan

being a cut-down public version of Marx

Language: Haskell - Size: 59.6 KB - Last synced: 12 months ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

pigworker/Pert

being some thoughts about the succinct organisation of data by pertinence

Size: 0 Bytes - Last synced: 12 months ago - Pushed: almost 7 years ago - Stars: 0 - Forks: 0

pigworker/TheNewProgramming

being a collection of programming ideas and exercises in literate style

Size: 0 Bytes - Last synced: 12 months ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0

pigworker/KleisliArrows

being the revived version of Kleisli Arrows of Outrageous Fortune

Language: Haskell - Size: 24.4 KB - Last synced: 12 months ago - Pushed: over 7 years ago - Stars: 4 - Forks: 0

pigworker/FilesForTwoPointOne

being the things we need participants to see

Size: 8 MB - Last synced: 12 months ago - Pushed: almost 8 years ago - Stars: 1 - Forks: 0

pigworker/BathTime

being an experiment with universes and time

Language: Haskell - Size: 168 KB - Last synced: 12 months ago - Pushed: over 10 years ago - Stars: 11 - Forks: 0

pigworker/EWSCS14

being the lecture material and exercises for the Estonian Winter School

Language: Agda - Size: 193 KB - Last synced: 12 months ago - Pushed: about 10 years ago - Stars: 2 - Forks: 2

pigworker/Ship

Size: 117 KB - Last synced: 12 months ago - Pushed: about 9 years ago - Stars: 4 - Forks: 0

pigworker/UpsetOrder

being the materials for a paper about worlds

Language: TeX - Size: 164 KB - Last synced: 12 months ago - Pushed: about 9 years ago - Stars: 0 - Forks: 1

pigworker/ConorLearnsIdris

being a scratch space for my teething troubles and tiny triumphs

Language: Idris - Size: 148 KB - Last synced: 12 months ago - Pushed: over 9 years ago - Stars: 3 - Forks: 0

pigworker/April13

in which pigworker tries to remember how to write programs

Language: Haskell - Size: 99.6 KB - Last synced: 12 months ago - Pushed: about 11 years ago - Stars: 0 - Forks: 0

pigworker/AgdaIntro

being a place to keep moderately instructive literate Agda files

Size: 54.7 KB - Last synced: 12 months ago - Pushed: almost 11 years ago - Stars: 0 - Forks: 0