zstone1

Pinned Repositories

analysis
Mathematical Components compliant Analysis Library
Language:Coq0 0 00
canal
Complex Analysis with math-comp
Language:Coq0 1 00
coq-complex
A complex analysis library in Coq, based on Coqueliqot
Language:Coq3 2 00
FSComp
My F# compialer
Language:F#0 0 00
haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
Language:Haskell00
home_auto
home assistant configuration and whatnot
Language:Python0 1 00
home_sensors
scritps for managing sensors
Language:Python0 1 00
hybrid-programs-vscode
Language Server for Hybrid-Programs as they appear in Keymaera X
Language:Scala0 1 00
idris-cmp
Language:Vim script10
KeYmaeraX-release
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
Language:Scala00

zstone1's Repositories

zstone1/coq-complex
A complex analysis library in Coq, based on Coqueliqot
Language:Coq3 2 00
zstone1/idris-cmp
Language:Vim script10
zstone1/analysis
Mathematical Components compliant Analysis Library
Language:Coq0 0 00
zstone1/canal
Complex Analysis with math-comp
Language:Coq0 1 00
zstone1/FSComp
My F# compialer
Language:F#0 0 00
zstone1/haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
Language:Haskell00
zstone1/home_auto
home assistant configuration and whatnot
Language:Python0 1 00
zstone1/home_sensors
scritps for managing sensors
Language:Python0 1 00
zstone1/hybrid-programs-vscode
Language Server for Hybrid-Programs as they appear in Keymaera X
Language:Scala0 1 00
zstone1/KeYmaeraX-release
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
Language:Scala00
zstone1/rzip
An implementation of `zip` in rust
Language:Rust00