frankpfenning

Carnegie Mellon UniversityPittsburgh

Pinned Repositories

15316-cmu.github.io
Course website for 15-316
Language:TeX1 4 02
Nomos
This repository contains an implementation of Nomos, a programming language for smart contracts based on resource-aware session types.
Language:OCaml23 4 13
html_feedback
Supports a student project developing a UI for feedback on arXiv articles rendered as html.
17 5 2.1k3
celf
Language:Standard ML58 9 25
ollibot
An implementation of substructural intuitionistic logic focused on forward chaining
Language:Standard ML13 6 13
C0
C0 Language
4 4 640
C0-Tutorial
Tutorial for the C0 Language
7 6 00
jaco
Javascript C0 Tools
Language:TypeScript00
sill
Language:OCaml28 7 13
twelf
The Twelf Programming Language
Language:Standard ML105 10 017