James Chapman (jmchapman)

James Chapman

jmchapman

User data from Github https://github.com/jmchapman

Company:@input-output-hk

Location:Glasgow, UK

Home Page:http://jmchapman.github.com

Github PK Tool:Github PK Tool

James Chapman's Most Used Languages
James Chapman's GitHub Stats

James Chapman's repositories

plutus

The Plutus language implementation and tools

Language:HTMLLicense:Apache-2.0Stargazers:0Forks:0Issues:16
Language:HTMLStargazers:0Forks:0Issues:0

agda2hs

Compiling Agda code to readable Haskell

Language:HaskellLicense:MITStargazers:0Forks:0Issues:0

generic-syntax

A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs

Language:AgdaLicense:GPL-3.0Stargazers:0Forks:0Issues:0
Language:AgdaStargazers:0Forks:0Issues:0

Relative-Monads

Relative Monad Library for Agda

Language:AgdaLicense:MITStargazers:24Forks:3Issues:2

categories

A category theory library for Agda

Language:AgdaLicense:MITStargazers:7Forks:0Issues:0

plfa.github.io

Introduction to programming language theory in Agda.

Language:AgdaStargazers:0Forks:0Issues:0

agda-stdlib

The Agda standard library

Language:AgdaLicense:NOASSERTIONStargazers:0Forks:0Issues:0

CS410-17

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

Language:AgdaStargazers:0Forks:0Issues:0
Language:HaskellStargazers:0Forks:0Issues:0
Stargazers:0Forks:0Issues:0

restriction-categories

A formalisation of Restriction Categories in Agda

Language:AgdaStargazers:11Forks:1Issues:0
Language:AgdaStargazers:0Forks:0Issues:0

agda-logos

Aive Kalmus's agda logo designs

Stargazers:0Forks:0Issues:0

Big-step-Normalisation

Agda formalisations of some big-step normalization proofs

Language:AgdaStargazers:13Forks:2Issues:0

agda

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

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

MSPweb

being the shared sources and generated html for the MSP website

Language:HTMLStargazers:0Forks:0Issues:0
Language:F#Stargazers:0Forks:0Issues:0
Language:JavaScriptStargazers:1Forks:5Issues:0

Foogle.Charts

Easy to use F# wrapper for Google Charts visualization library

Language:F#License:NOASSERTIONStargazers:0Forks:0Issues:0

fsharp.github.io

F# GitHub Community Webpages

Language:F#Stargazers:0Forks:0Issues:0

lambda-calculus

Formalisation of normalisation by evaluation for simply typed lambda calculus extended with natural numbers, lists, pairs, and streams.

Language:AgdaStargazers:0Forks:0Issues:0

ITT8060.2013

ITT8060 Advanced Programming

Language:F#Stargazers:0Forks:6Issues:0

ITT9200

ITT9200 - A reading group on "Syntax and Semantics of Dependent Types" by Martin Hofmann

Stargazers:5Forks:1Issues:0
Language:GoStargazers:1Forks:0Issues:0

Number-Theory

Currently this repo contains a translation of Thierry Coquands proof of the irrationality of 2 from agda 1 to agda 2

Stargazers:2Forks:0Issues:0

TT-in-TT

Type theory in type theory

Directed-Containers

An Agda formalisation of the theory of directed containers

Stargazers:0Forks:0Issues:0

Type-Theory-Foundations

Some stuff from Robert Harper's lectures at OPLSS, formalized in Agda.

Language:AgdaStargazers:0Forks:0Issues:0