Giters
Frank Fu (Fermat)

Fermat

Geek Repo

17

followers

3

following

17

stars

Home Page:https://fermat.github.io/

Github PK Tool:Github PK Tool

Frank Fu's repositories

Gottlob

Language:Grammatical FrameworkLicense:BSD-3-ClauseStargazers:7Issues:1Issues:0

dependent-fold

the agda codes for the paper: "Dependently Typed Folds for Nested Data Types"

Language:AgdaStargazers:6Issues:0Issues:0

corecursive-type-class

A implementation of type class mechanism based on corecursive resolution

Language:HaskellStargazers:4Issues:0Issues:0

fermat.github.io

Language:HTMLStargazers:3Issues:0Issues:0

higher-rank

Language:HaskellLicense:BSD-3-ClauseStargazers:3Issues:0Issues:0

FCR

Functional Certification for Rewriting

Language:HaskellLicense:GPL-3.0Stargazers:1Issues:0Issues:0