Jon Sterling

icon indicating a website link http://www.jonmsterling.com

icon company @logsem icon location Aarhus, DK icon location computer scientist and semanticist

Results 8 repositories owned by Jon Sterling

agda-calf

51
Stars
4
Forks
Watchers

A cost-aware logical framework, embedded in Agda.

verified publisher icon jonsterling

dreamtt

80
Stars
3
Forks
Watchers

A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.

verified publisher icon jonsterling

coq-domains

18
Stars
1
Forks
Watchers

verified publisher icon jonsterling

coq-guarded-computational-type-theory

20
Stars
1
Forks
Watchers

verified publisher icon jonsterling

Githood

97
Stars
4
Forks
Watchers

A minimal Github client for iOS. No longer actively developed.

verified publisher icon jonsterling

hs-abt

16
Stars
1
Forks
Watchers

Type safe abstract binding trees for Haskell, using Vinyl

verified publisher icon jonsterling

forest

64
Stars
4
Forks
Watchers

My mathematical Zettelkasten, created using forester.

verified publisher icon jonsterling

ocaml-forester

29
Stars
1
Forks
Watchers

Mirror of ocaml-forester

verified publisher icon jonsterling