poosomooso
Follow
-
-
Terminus Public
Forked from mprat/TerminusLinux learning game
JavaScript GNU General Public License v2.0 UpdatedSep 5, 2024 -
-
-
LitterBox Public
Forked from se2p/LitterBoxStatic code analysis tool for detecting recurring patterns in Scratch projects.
Java GNU General Public License v3.0 UpdatedFeb 22, 2023 -
SSHOM-Search Public
Using variational execution to find higher order mutants
-
-
defects4j Public
Forked from rjust/defects4jA Database of Real Faults and an Experimental Infrastructure to Enable Controlled Experiments in Software Engineering Research
Perl MIT License UpdatedJan 25, 2021 -
bears-benchmark Public
Forked from bears-bugs/bears-benchmarkAn Extensible Java Bug Benchmark for Automatic Program Repair Studies
Python GNU General Public License v3.0 UpdatedAug 13, 2020 -
-
defects4j-repair Public
Forked from Spirals-Team/defects4j-repairOpen-science repo for our experimental results of automatic software repair on the Defects4J benchmark of Java bugs
Python UpdatedJul 23, 2019 -
-
-
pitest Public
Forked from hcoles/pitestState of the art mutation testing system for the JVM
Java Apache License 2.0 UpdatedJun 29, 2018 -
ExercisesInC Public
Forked from AllenDowney/ExercisesInCExercises for people learning the C programming language
C MIT License UpdatedApr 1, 2018 -
ThinkComplexity2 Public
Forked from AllenDowney/ThinkComplexity2Book and code for Think Complexity, 2nd edition
Jupyter Notebook UpdatedDec 18, 2017 -
Diskrete-Kryptography Public
Studying Elliptic Curve Cryptography -- Discrete Math Final Project
Python UpdatedDec 18, 2017 -
Gaygents Public
Complexity Science Project 2 - studying agent based marriage
Jupyter Notebook UpdatedDec 13, 2017 -
FinalProject Public
Forked from CompArchFA17/FinalProjectCreating custom hardware to parallelize matrix multiplication
-
-
Complexity_IPD Public
Forked from apan64/Complexity_IPDIterated Prisoner's Dilemma Tournament for Complexity Science Fall 2017
Jupyter Notebook UpdatedNov 2, 2017 -
HW4 Public
Forked from CompArchFA17/HW4CompArch HW b0100: Register File
Verilog UpdatedOct 20, 2017 -
-
HW2 Public
Forked from CompArchFA17/HW2HW 0b010: Verilog Building Blocks
Verilog UpdatedSep 24, 2017 -
Lab0 Public
Forked from CompArchFA17/Lab0CompArch Lab 0: Full Adder on FPGA
Verilog UpdatedSep 19, 2017 -
HW1 Public
Forked from CompArchFA17/HW1HW 0b001: Verilog Tools and DeMorgan's Law
Coq UpdatedSep 14, 2017 -
ToolBox-MachineLearning-1 Public
Forked from sd17spring/ToolBox-MachineLearningMachine Learning Project Toolbox starter code
Python UpdatedMar 30, 2017 -
ToolBox-AI-1 Public
Forked from sd17spring/ToolBox-AIAl and Algorithms Project Toolbox
Python UpdatedJan 27, 2017 -
-