Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

https://github.com/catseye/tpis

A totality-checker for Scheme which can pass its own checks [BSD license]
https://github.com/catseye/tpis

abstract-interpretation primitive-recursive self-hosted static-analysis

Last synced: about 2 months ago
JSON representation

A totality-checker for Scheme which can pass its own checks [BSD license]

Host: GitHub
URL: https://github.com/catseye/tpis
Owner: catseye
License: other
Created: 2012-08-27T00:04:20.000Z (over 12 years ago)
Default Branch: master
Last Pushed: 2014-08-19T10:09:46.000Z (over 10 years ago)
Last Synced: 2023-03-12T22:20:42.098Z (almost 2 years ago)
Topics: abstract-interpretation, primitive-recursive, self-hosted, static-analysis
Language: Scheme
Size: 148 KB
Stars: 0
Watchers: 3
Forks: 0
Open Issues: 0