Pinned Repositories
jasonmorrissc.github.io
Blog Repository
lakieditori3
lean4
Lean 4 programming language and theorem prover
openfisca-canada
openfisca-doc
User guide of OpenFisca
RulesAsCodeSite
The open source repository for the RulesAsCode.com home page.
RulesAsCodeSite
The open source repository for the RulesAsCode.com home page.
JasonMorrisSC's Repositories
JasonMorrisSC/jasonmorrissc.github.io
Blog Repository
JasonMorrisSC/lean4
Lean 4 programming language and theorem prover
JasonMorrisSC/openfisca-canada
JasonMorrisSC/openfisca-doc
User guide of OpenFisca
JasonMorrisSC/lakieditori3
JasonMorrisSC/RulesAsCodeSite
The open source repository for the RulesAsCode.com home page.