prokls Goto Github PK
Type: User
Company: Some University in Graz, Austria
prokls's Projects
amateurfunk-lernkarten
Lernkarten zur Amateurfunkprüfung, Stand Dezember 2014
bakk_iaik
Bachelor thesis "Using SAT Solvers to detect Contradictions in Differential Characteristics"
bakk_kobe
Bachelor thesis at Kobe university
catrobat.github.com
Backend for http://developer.catrobat.org/
classic-mceliece-rust
A safe pure-rust implementation of the Classic McEliece post-quantum scheme.
cnf-analysis-go
Analyze CNF benchmark files with golang
cnf-analysis-py
Analyze CNF benchmark files with python3
cnf-analysis-tests
Testsuite for cnf-analysis
cnf-files-download
Download public CNF benchmark files with zsh scripts
cnf-hash-go
Hashing DIMACS CNF files (Go implementation)
cnf-hash-py
Hashing DIMACS CNF files
cnf-hash-tests1
Testsuite for cnf-hash 1.0.0
cnf-hash-tests2
Testsuite for cnf-hash 2.0.0
edmonds-branching-algorithm
Edmond's branching algorithm implementation in Python3 and Haskell
flamegraph
Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3
gdi_control
Control center of the GDI course
iaikrust
Accompanying rust code for my IAIK rust talk on 2020-09-18
knuth-search-engine
A web application featuring a document repository with search, storage and retrieval capabilities.
labyrinth
An educational depth-first search game (not developed by myself!)
master_iaik
My master thesis at IAIK
math-lecture-notes
Lecture notes, I take when attending math courses 🖋
ntrust-native
A safe pure-rust implementation of the NTRU post-quantum scheme.
passup
Password updater for KeePass, KeePassX, KeePassXC(kdbx), pass, Chrome, Password Safe.
phest
Extend phridge for gherkin-based testcases using yadda
runen
Referat und Präsentation über Schriften germanischer Völker
scratch-html5
HTML 5 based Scratch project player
scratch-html5-tester
Testing framework for HTML5 Scratch Player
theoretical-computer-science-2
TCS2 lecture notes (WS 2013/14, Klinz)
turingmachine.js
A turingmachine for educational purposes (HTML5-webapp)
utf8-unicode-point-string
UTF8 unicode point representation in various languages; eg. A → U+41
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.