Pinned Repositories
aptos-core
Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.
breath
CIS-194
Coursework for CIS 194 Spring 2013
contextual-translator
A Chrome extension for translation in given context
essentials-of-compilation-python
fEst1ck.github.io
first-contributions
🚀✨ Help beginners to contribute to open source projects
hsProust
A Haskell implementation of Proust
symbolic-move
Symbolic executor for the Move programming language
verified-move
fEst1ck's Repositories
fEst1ck/hsProust
A Haskell implementation of Proust
fEst1ck/symbolic-move
Symbolic executor for the Move programming language
fEst1ck/verified-move
fEst1ck/aptos-core
Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.
fEst1ck/breath
fEst1ck/CIS-194
Coursework for CIS 194 Spring 2013
fEst1ck/contextual-translator
A Chrome extension for translation in given context
fEst1ck/essentials-of-compilation-python
fEst1ck/fEst1ck.github.io
fEst1ck/first-contributions
🚀✨ Help beginners to contribute to open source projects
fEst1ck/fuzzing-supp
fEst1ck/fuzzing_tcpdump
fEst1ck/hexo-theme-next
Elegant and powerful theme for Hexo.
fEst1ck/learn4haskell
👩🏫 👨🏫 Learn Haskell basics in 4 pull requests
fEst1ck/miniKanren-with-symbolic-constraints
Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.
fEst1ck/move-lang
fEst1ck/vm
A subset of Vim.
fEst1ck/move
Home of the Move programming language
fEst1ck/move-packages
fEst1ck/move-symbolic-execution
Symbolic executor for the Move programming language.
fEst1ck/os161-kernel
Operating System OS/161 Kernel Development
fEst1ck/path-cov
fEst1ck/plfa.github.io
An introduction to programming language theory in Agda
fEst1ck/reference-analysis-in-datalog
Reference analysis in datalog
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
fEst1ck/symbolic-ir
fEst1ck/ultimate
The Ultimate program analysis framework.