dabushori Goto Github PK
Name: Ori Dabush
Type: User
Bio: Blockchain security researcher at @Certora | @code-423n4 warden (part of the CertoraInc team)
Twitter: ori_dabush
Name: Ori Dabush
Type: User
Bio: Blockchain security researcher at @Certora | @code-423n4 warden (part of the CertoraInc team)
Twitter: ori_dabush
The second excercise in the AP1 course.
Anomaly Detection WebApp, the second assignment in the advanced programming course.
AI project - a chat bot that have some saved commands
Practical tutorials of Certora Prover
This repo contains the solutions to the two competitive programming contests we had.
Config files for my GitHub profile.
This repo contains (the most of) my exercises from my BSc in computer science.
This is an implementation of a model which classifies the font of a text in images. This is my project of the "Computer Vision" course.
This repo contains an implementation of the GHS (Gallager, Humblet and Spira) distributed algorithm to find an MST (Minimum Spanning Tree) and also an implementation of communication with the root of the found MST using the sinalgo simulator.
My solutions for project euler
Seaport is a marketplace protocol for safely and efficiently buying and selling NFTs.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.