Pinned Repositories
DNSUpdate
MacOS X DNSUpdate source
provable_swift
Some toying with Swift generics to simulate proofs
QLHTML
Simple Quick Look generator displaying HTML code instead of HTML preview
jonasf73's Repositories
jonasf73/DNSUpdate
MacOS X DNSUpdate source
jonasf73/QLHTML
Simple Quick Look generator displaying HTML code instead of HTML preview
jonasf73/provable_swift
Some toying with Swift generics to simulate proofs