eellak / gsoc17-diavgeiaLinks
Diavgeia Redefined: Redefined functionality of Diavgeia using RDF and Blockchain (GSOC 2017 GFOSS Project).
☆13Updated 6 years ago
Alternatives and similar repositories for gsoc17-diavgeia
Users that are interested in gsoc17-diavgeia are comparing it to the libraries listed below
Sorting:
- Export Jupyter Notebooks to (Xe)LaTeX with Greek Support☆12Updated 6 years ago
- A simple sudoku solver☆17Updated 6 years ago
- Master Thesis text, University of Athens☆9Updated 5 years ago
- Do not get distracted with social media by blockading them via /etc/hosts☆21Updated 2 years ago
- Ο Καλλίνικος είναι μία πλατφόρμα εκμάθησης αλγορίθμων για διαγωνισμούς πληροφορικής.☆23Updated 6 years ago
- Clio, a web-based system for maintaining (meta-)information on software components☆7Updated 6 years ago
- Efficient shortest path queries over large static/dynamic graphs☆9Updated 6 years ago
- ☆10Updated 6 years ago
- A Python implementation of a belief revision engine that uses entrenchment-based ranking.☆11Updated 3 years ago
- Python code to implement various number theory, elliptic curve and finite field computations.☆102Updated 3 years ago
- NEWS! We will soon release a TypeScript transpilation and improvement of this library. Self-contained cryptographic library for use in el…☆15Updated 3 years ago
- Data-oblivious benchmarks.☆11Updated 6 years ago
- An open source project for study S-boxes☆41Updated 2 years ago
- Lattice Sieve Algorithm using ListDecoding-based Locality Sensitive Filters☆7Updated 9 years ago
- CryptoBib Database for Developers☆44Updated last month
- Source codes for paper "An Algebraic Formulation of the Division Property: Revisiting Degree Evaluations, Cube Attacks, and Key-Independe…☆17Updated 4 years ago
- Python implementation of the elgamal crypto system☆71Updated 5 years ago
- SAT Live! web site☆11Updated 2 months ago
- A repository that aims to provide tools for cryptography and cryptanalysis☆216Updated 5 years ago
- A toolkit for SAT-based prototyping in Python☆427Updated last month
- Detexify Backend written in Haskell☆909Updated 8 years ago
- Classical simulator for Kuperberg's quantum collimation sieve, generalized to arbitrary finite cyclic groups and focused on CSIDH-512.☆14Updated 6 years ago
- An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.☆96Updated last year
- ☆10Updated 6 years ago
- A Chrome extension that automatically adds viewed academic papers to your favorites.☆17Updated 6 years ago
- An advanced SAT solver☆867Updated 3 weeks ago
- Code to download, process, and analyse the Online Encyclopedia of Integer Sequences☆47Updated 5 months ago
- Python code and tests for the post 'Programming with Finite Fields'☆48Updated 5 years ago
- Guidelines for creating a high-quality scientific thesis with tips and examples for layout, figures, and tables☆53Updated 9 months ago
- Redacted list of scientific Blockchain Conferences and Journals☆21Updated 2 years ago