michalcohen

Software engineer student at the Computer Science faculty of the Technion and Master student. Lapidim program; Psagot program; Penguin lover

Pinned Repositories

abc
ABC: System for Sequential Logic Synthesis and Formal Verification
Language:C00
AutoSeat
Language:TypeScript00
ConfigurationManager
Manage your project configurations comfortably
Language:C#00
DataAnalysisABC
scripts for data analysis of out suggested changes to "abc" project
Language:Jupyter Notebook00
ex3
Language:C00
gitignore
A collection of useful .gitignore templates
00
Grading
Language:Python00
Spartanizer
Eclipse plugin that performs automatic refactoring of Java source code, making it shorter, more efficient and more readable
Language:Java10
Virl-BGP-project
investigating bgp security using cisco VIRL
Language:Python21
Leonidas-FTW
Leonidas FTW
Language:Java71

michalcohen's Repositories

michalcohen/Spartanizer
Eclipse plugin that performs automatic refactoring of Java source code, making it shorter, more efficient and more readable
Language:Java10
michalcohen/abc
ABC: System for Sequential Logic Synthesis and Formal Verification
Language:C00
michalcohen/AutoSeat
Language:TypeScript00
michalcohen/ConfigurationManager
Manage your project configurations comfortably
Language:C#00
michalcohen/DataAnalysisABC
scripts for data analysis of out suggested changes to "abc" project
Language:Jupyter Notebook00
michalcohen/ex3
Language:C00
michalcohen/gitignore
A collection of useful .gitignore templates
00
michalcohen/Grading
Language:Python00
michalcohen/My-Arduino
All my arduino program are in this repository
Language:C++
michalcohen/pygraphistry
PyGraphistry is a Python library to quickly load, shape, embed, and explore big graphs with the GPU-accelerated Graphistry visual graph analyzer