Xython's repositories
pattern-matching
full-featured pattern-matching in python, however it's more likely to be dynamic contracts.
generated-graphql
show python meta-programming with graphql.
auto-contract
Python - design by static contracts. 面向静态合同编程.
devpackage
help you to develop python packages
idris-emptycg
An empty code generator, to be used as a starting point for any new back ends.
structured-format
python structured format library inspired by Microsoft.FSharp.Text.StructuredFormat(from FSharpx)