jesperstromblad Goto Github PK
Name: Omar
Type: User
Location: Switzerland
Omar's Projects
algo-practice
Solutions to algorithm problems for the purpose of self-improvement
ci-analytics-system
Continuous Integration analytics system for python-based projects
cunit
Custom test runner for N-inputs
dblp-pub
A scraper that downloads search results from DBLP.
de2lab
diffpdf
A basic pdf compare program.
docker-vypr-ecosystem
dockerofflineanalysis
Containerized version of Offline VyPR Analysis
irmago
IRMA server, client, and tooling. Documentation: http://irma.app/docs
jesperstromblad.github.io
Portfolio website to showcase my experience in development
perfci
Extended Performance CI
personalwebpage
pygithub
Typed interactions with the GitHub API v3
python
All Algorithms implemented in Python
slowdowndetection
Implementation of slow-down detection algorithm
symbolic-control-flow-graphs
A small library inspired by VyPR's static analysis machinery that allows the construction of the symbolic control-flow graph of code.
travelly-practice-css
A practice CSS project - Travel static website
vypr
The main VyPR infrastructure for specification, instrumentation and monitoring.
vyprserver
A server for central storage and analysis of verdict data obtained during monitoring with VyPR.
vyprtutorial
A self-contained tutorial to be used by VyPR users, contributors, or as a Formal Methods education tool.
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.