-
souffle Public
Forked from souffle-lang/souffleSoufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
C++ Universal Permissive License v1.0 UpdatedDec 9, 2024 -
-
-
-
anantoni.github.io Public
Forked from github/personal-websiteCode that'll help you kickstart a personal website that showcases your work as a software developer.
HTML MIT License UpdatedAug 18, 2023 -
scaler Public
Forked from silverbullettt/scalerScalability-First Pointer Analysis with Self-Tuning Context-Sensitivity
Shell MIT License UpdatedOct 31, 2018 -
Jimple-Interpreter Public
Forked from secure-software-engineering/Jimple-InterpreterSoot based Jimple interpreter
Java GNU Lesser General Public License v2.1 UpdatedJul 13, 2018 -
java-agent-asm-javassist-sample Public
Forked from tomsquest/java-agent-asm-javassist-sampleSample maven project containing a Java agent and examples of bytecode manipulation with ASM and Javassist
Java MIT License UpdatedMar 22, 2017 -
-
-
-
-
-
-
parallel-convolution Public
Forked from jimouris/parallel-convolutionImage Convolution
C MIT License UpdatedFeb 10, 2016 -
-
pyParrotZik Public
Forked from m0sia/pyParrotZikPython Parrot Zik API and tools
Python UpdatedNov 14, 2015 -
dot-emacs Public
Forked from gbalats/dot-emacsMy emacs configuration.
Emacs Lisp UpdatedNov 4, 2015 -
-
-
-
-
-
-
-
-
-
-
-
{{ message }}