Top 2 tal open source projects

un-official mirror of http://hg.code.sf.net/p/roundup/code -- used for CI. Please visit https://issues.roundup-tracker.org for finding starter issues or log new issues.

✭ 20

python HTML javascript CSS Roff Dockerfile mysql jinja2 rest-api bug-tracker postgresql issue-tracker webapp sqlite3 cli-app dbm restful-api hacktoberfest tal zope-application xmlrpc-api pythonapi

coq-tal

Formalization of Typed Assembly Language (TAL) in Coq

✭ 15

Coq shell coq type-system tal

1-2 of 2 tal projects