Pinned Repositories
anyhow
Flexible concrete Error type built on std::error::Error
Cm
Being a compiler for an imperative programming language (subset of C but with a little difference). It focuses on data flow analysis.
ContractLens-artifact
crown
Ownership analysis that helps translating C to Rust
gitignore
A collection of useful .gitignore templates
KomaEc.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Labs-on-ICS
Course labs.
Malloc-Implementations
A collection of memory allocators
NFix
Being my GSoC 2019 Project
sat
A simple CDCL sat solver
KomaEc's Repositories
KomaEc/crown
Ownership analysis that helps translating C to Rust
KomaEc/anyhow
Flexible concrete Error type built on std::error::Error
KomaEc/Cm
Being a compiler for an imperative programming language (subset of C but with a little difference). It focuses on data flow analysis.
KomaEc/ContractLens-artifact
KomaEc/gitignore
A collection of useful .gitignore templates
KomaEc/KomaEc.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
KomaEc/Labs-on-ICS
Course labs.
KomaEc/Malloc-Implementations
A collection of memory allocators
KomaEc/NFix
Being my GSoC 2019 Project
KomaEc/rustfix
Automatically apply the suggestions made by rustc
KomaEc/sat
A simple CDCL sat solver