michaelsproul
Follow
Building Ethereum at Sigma Prime. I like types, specs and proofs.
- Sydney, Australia
- https://sproul.xyz/
- @sproulM_
Stars
- All languages
- Ada
- Assembly
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Dafny
- Dart
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- F*
- Frege
- Go
- Groovy
- HCL
- HTML
- Haskell
- Io
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- Lean
- Lua
- MATLAB
- Makefile
- Markdown
- Mercury
- Nim
- Nix
- OCaml
- Objective-C++
- OpenSCAD
- PHP
- Perl
- PureScript
- Python
- QML
- R
- Racket
- Raku
- Ruby
- Rust
- SCSS
- SMT
- SQL
- Scala
- Shell
- Solidity
- Standard ML
- Swift
- TLA
- TeX
- TypeScript
- Vim Script
- WebAssembly
- q
1
star
written in Solidity
Clear filter
Ethereum smart contract for sharehouse expense-sharing