fiigii
Follow
-
-
-
PacketTracer Public
The SIMD-accelereted ray tracing in C# powered by Intel hardware intrinsic of .NET Core.
-
coreclr Public
Forked from dotnet/coreclrThis repo contains the .NET Core runtime, called CoreCLR, and the base library, called mscorlib. It includes the garbage collector, JIT compiler, base .NET data types and many low-level classes.
C# MIT License UpdatedJul 4, 2019 -
JsCFA-prototype Public
Abstract Interpreter for JavaScript with perfect call/return matching.
-
CorrespondingAngles Public
The Capstone Project of my bachelor's degree (2013)
Ruby MIT License UpdatedSep 9, 2017 -
hcfa-prototype Public
A simple implementation of h-CFA (pushdown control flow analysis based on execution history)
Scheme Other UpdatedMar 7, 2017 -
fJS Public
A statically typing programming language implemented in Haskell.
-
Master-Thesis Public
My Master Thesis: h-CFA A Simplified Approach for Pushdown Control Flow Analysis
-
AbstractInterpretation Public
Context-sensitive control flow analysis (k-CFA) for my fJS language with Abstract Interpretation approach.
-
devirtualization Public
Devirtualization (convert dynamic dispatch to direct function call) optimization for a subset Scala
-
k-cfa Public
Context-sensitive control flow analysis (k-CFA) for my fJS language.
-
dataflow Public
Data flow analysis for a subset of JavaScript
-
control-flow Public
Control flow analysis (0-CFA) for my fJS language.
-
gomoku-CommonLisp Public
A web version of Gomoku game implemented in Common Lisp.