Explore projects
-
_ddom / imdea-se-bib
Creative Commons Attribution 3.0 UnportedUpdated -
Pedro Valero / HTTPValidator
GNU General Public License v3.0 onlyAn Input Validator for HTTP based on Context-free Languages
UpdatedUpdated -
zistvan-public / StreamChain Benchmarks
GNU General Public License v3.0 onlyUpdated -
The project has been moved here: https://github.com/coq-community/lemma-overloading I'm keeping it here because it contains an alternative implementation of indom lemma
Updated -
Updated
-
Updated
-
zistvan-public / StreamChain Prototype
Apache License 2.0Updated -
Updated
-
Alessandra Gorla / dblp-retriever
Apache License 2.0Retrieve paper metadata from conference proceedings and journals indexed in DBLP.
Updated -
-
ciao-lang / sCASP
Apache License 2.0Updated -
cluster data collected from production clusters in Alibaba for cluster management research
Updated -
Updated
-
Module to serialize Java data to a binary format compatible with the C++ module freud-statistics, inside the freud project
Updated -
print input parameters of method, passed through CLI
Updated -
-
-
-
zistvan-public / Caribou KVS with Privacy Perturbations
GNU General Public License v3.0 onlyThis is a public mirror of our internal Caribou repository. In case of questions, please feel free to get in touch. mailto:zsolt.istvan@imdea.org
Updated