fEst1ck

Compiler Engineer @aptos-labs MMath Computer Science @uWaterloo

Aptos Labs

Pinned Repositories

aptos-core
Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.
Language:Rust00
breath
Language:Racket00
CIS-194
Coursework for CIS 194 Spring 2013
Language:Haskell0 2 00
contextual-translator
A Chrome extension for translation in given context
Language:JavaScript00
essentials-of-compilation-python
Language:Python0 1 00
fEst1ck.github.io
Language:HTML0 1 20
first-contributions
🚀✨ Help beginners to contribute to open source projects
00
hsProust
A Haskell implementation of Proust
Language:Haskell2 2 01
symbolic-move
Symbolic executor for the Move programming language
Language:Rust1 1 00
verified-move
Language:Coq1 1 00

fEst1ck's Repositories

fEst1ck/hsProust
A Haskell implementation of Proust
Language:Haskell2 2 01
fEst1ck/symbolic-move
Symbolic executor for the Move programming language
Language:Rust1 1 00
fEst1ck/verified-move
Language:Coq1 1 00
fEst1ck/aptos-core
Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.
Language:Rust00
fEst1ck/breath
Language:Racket00
fEst1ck/CIS-194
Coursework for CIS 194 Spring 2013
Language:Haskell0 2 00
fEst1ck/essentials-of-compilation-python
Language:Python0 1 00
fEst1ck/fEst1ck.github.io
Language:HTML0 1 20
fEst1ck/first-contributions
🚀✨ Help beginners to contribute to open source projects
00
fEst1ck/fuzzing-supp
Language:C++00
fEst1ck/fuzzing_tcpdump
Language:C0 1 00
fEst1ck/hexo-theme-next
Elegant and powerful theme for Hexo.
Language:CSS00
fEst1ck/learn4haskell
👩‍🏫 👨‍🏫 Learn Haskell basics in 4 pull requests
Language:Haskell00
fEst1ck/miniKanren-with-symbolic-constraints
Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.
Language:Scheme0 0 00
fEst1ck/move-lang
Language:Rust0 0 00
fEst1ck/vm
A subset of Vim.
Language:C++00
fEst1ck/move
Home of the Move programming language
Language:Rust0 0
fEst1ck/move-packages
Language:Move
fEst1ck/move-symbolic-execution
Symbolic executor for the Move programming language.
Language:Rust2 1
fEst1ck/os161-kernel
Operating System OS/161 Kernel Development
Language:C1 0
fEst1ck/path-cov
Language:Rust
fEst1ck/plfa.github.io
An introduction to programming language theory in Agda
fEst1ck/reference-analysis-in-datalog
Reference analysis in datalog
1 0
fEst1ck/sui
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
Language:Rust0 0
fEst1ck/symbolic-ir
Language:Python
fEst1ck/ultimate
The Ultimate program analysis framework.
Language:Java0 0