github.com

ProofPeer

Provide feedback

@proofpeer

The language of ProofPeer: ProofScript

Scala 8
General utilities and algorithms.

Scala 2
Versioned hierarchical store running on key/value store.

Scala 1
Isabelle 2016 theory files for Local Lexing

Isabelle 1 1
Library for context free parsing. The parser can be layout-sensitive and scanning is context-sensitive.

Scala
A UI framework in Scala.js strongly inspired by React.js

Scala

Type

Select type

All Public Sources Forks Archived Mirrors Templates

Language

Select language

All Isabelle Scala

Sort

Select order

Last updated Name Stars

Showing 8 of 8 repositories

proofpeer/local-lexing-prototype’s past year of commit activity

Scala 0 MIT 0
0 0
Updated Apr 2, 2017
proofpeer/local-lexing-isabelle-theories’s past year of commit activity

Isabelle
1
MIT
1 0 0
Updated Feb 25, 2017
proofpeer/proofpeer-proofscript’s past year of commit activity

Scala
8
MIT 0
10 0
Updated Jan 25, 2017
proofpeer/proofpeer-metis’s past year of commit activity

Scala 0 MIT 0
2 0
Updated Dec 13, 2016
proofpeer-indent Public
Library for context free parsing. The parser can be layout-sensitive and scanning is context-sensitive.

proofpeer/proofpeer-indent’s past year of commit activity

Scala 0 MIT 0
1 0
Updated Mar 23, 2016
proofpeer/proofpeer-versionary’s past year of commit activity

Scala
1
MIT 0
0 0
Updated Mar 8, 2016
proofpeer/proofpeer-general’s past year of commit activity

Scala
2
MIT 0
0 0
Updated Mar 8, 2016
proofpeer-vue Public
A UI framework in Scala.js strongly inspired by React.js

proofpeer/proofpeer-vue’s past year of commit activity

Scala 0 0
5 0
Updated Nov 3, 2015

This organization has no public members. You must be a member to see who’s a part of this organization.

Loading…