The Wayback Machine - https://web.archive.org/web/20220909102238/https://github.com/MisakaCenter
Skip to content
Avatar
🎯
Learning
🎯
Learning
273 followers · 201 following

Achievements

Achievement: StarstruckAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor
BetaSend feedback

Achievements

Achievement: StarstruckAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor
BetaSend feedback

Highlights

  • Pro

Organizations

@Coq-zh @Chi-Task-Force @Simple-XX
Block or Report

Block or report MisakaCenter

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
MisakaCenter/README.md

Pinned

  1. AbsInt/CompCert Public

    The CompCert formally-verified C compiler

    Coq 1.5k 182

  2. Veridise/Coda Public

    Coq 15 1

  3. RayTracer.ml Public

    🌈 Path tracer implemented in OCaml based on "Ray Tracing in One Weekend"

    OCaml 16

  4. Simple-XX/SimpleCompiler Public

    DIY Compiler

    C++ 38 9

  5. OPG_Parser Public

    🔪 OPG (Operator Precedence Grammar) Parser, in Coq.

    Haskell 7

  6. Pistolet Public

    🔫 Toy ML-like Imperative Programming Language (WIP)

    Rust 8 1

520 contributions in the last year

Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Mon Wed Fri
Learn how we count contributions
Less More
Activity overview
Contributed to Veridise/Coda, Simple-XX/SimpleCompiler, MisakaCenter/AClightGen and 20 other repositories

Contribution activity

September 2022

Created 6 commits in 1 repository

Created an issue in safe-global/safe-user-allocation-reports that received 8 comments

457 accounts: 0x7421eE752E6dA4F74CE5fa7F2887A4c995f13613

Related Safe Addresses 0x88aaff86fc80604ae5ba2afd07432911534c1de1 0x11b274ce7221371f6e24716a036c7503193c3e1f 0x3cbd5cfa20d56850651235fa9b4c301306f6…

8 comments
Opened 2 other issues in 1 repository
3 contributions in private repositories Sep 6 – Sep 7