Ilya Yanok's repositories
alias-tips
An oh-my-zsh plugin to help remembering those aliases you defined once
camkes-tool
The main CAmkES tool
CMake
Mirror of CMake upstream repository
code_builder
A fluent API for generating valid Dart source code
dotfiles
My dotfiles.
engine
The Flutter engine
gatsby-startbootstrap-agency
Gatsby version of startbootstrap-agency with i18n supported
git-mediate
Become a conflict resolution hero
greenery
FSM/regex conversion library
grift
Galois RISC-V ISA Formal Tools
i3-cinnamon
Use i3 with Cinnamon Session integration.
l4v
seL4 specification and proofs
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
mockito-on-macros-playground
An example macro package to use as a starting point
packages
A collection of useful packages maintained by the Flutter team
rust
Empowering everyone to build reliable and efficient software.
sdk
The Dart SDK, including the VM, dart2js, core libraries, and more.
seL4
The seL4 microkernel
sel4-tutorials
Tutorials for working with seL4 and/or CAmkES.
silveroak
Formal specification and verification of hardware, especially for security and privacy.
tree-sitter-dart
tree-sitter Dart grammar automatically derived from the Dart spec parser