Giters
csetzer

csetzer

Geek Repo

6

followers

0

following

2

stars

Github PK Tool:Github PK Tool

csetzer's repositories

bitcoinAgda

Model of Bitcoins in Agda

Language:HTMLLicense:GPL-3.0Stargazers:3Issues:0Issues:0

CSCM29-2021-22

This repository contains the code used in the labs for CSCM29, 2021/22, in Dept. of Computer Science, Swansea University

Language:JavaLicense:AGPL-3.0Stargazers:3Issues:0Issues:0

cspagdaPublic

Language:HTMLLicense:GPL-3.0Stargazers:2Issues:0Issues:0

Festschrift

Stargazers:1Issues:0Issues:0

agda

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

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

CSCM29-2022-23

Language:JavaLicense:AGPL-3.0Stargazers:0Issues:0Issues:0

csetzer.github.io

Language:HTMLStargazers:0Issues:0Issues:0

orgmodeLinenberger

Setup of org-mode to be used with Linenberger

Language:Emacs LispStargazers:0Issues:0Issues:0