- west coast
- https://ericconlon.com
Block or Report
Block or report ejconlon
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseStars
Language: Pascal
All languages
Agda
C
C++
Coq
D
DCPU-16 ASM
Go
HTML
Haskell
Idris
Java
JavaScript
Jupyter Notebook
Lean
OCaml
Objective-C
Pascal
PureScript
Python
Rust
Scala
Shell
SuperCollider
Swift
TeX
Vue
Nothing to show
Sort by: Most stars
1
star
written in Pascal
Clear filter
Sturdy is a library for developing sound static analyses in Haskell.