-
-
rust-openssl Public
Forked from tonteg/rust-opensslOpenSSL bindings for Rust
Rust UpdatedFeb 27, 2024 -
-
-
-
python-dojo-seed Public
Seed for python projects or dojos
Python GNU General Public License v3.0 UpdatedApr 20, 2021 -
spark Public
Forked from pigmonkey/sparkArch Linux Provisioning with Ansible
HTML UpdatedApr 5, 2021 -
scala-dojo-seed Public
Seed for scala projects or dojos
Scala GNU General Public License v3.0 UpdatedJul 10, 2020 -
artificial-intelligence Public
A collector repository for artificial intelligence related learning projects
Python GNU General Public License v3.0 UpdatedAug 24, 2019 -
plfa Public
Exercises for the book Programming Language Foundations in Agda
Agda Apache License 2.0 UpdatedApr 14, 2019 -
-
typogenetics-streaming Public
Implementation of the typogenetics "game" from Gödel Esher Bach, based on a streaming architecture
Python GNU General Public License v2.0 UpdatedFeb 26, 2019 -
-
data-analysis Public
Notebooks and source codes about data analysis (data science, machine learning)
Jupyter Notebook MIT License UpdatedNov 13, 2018 -
-
writings Public
My writings on various topics
Creative Commons Zero v1.0 Universal UpdatedDec 9, 2016 -
bandit Public
Forked from openstack-archive/banditPython AST-based static analyzer from OpenStack Security Group
Python Apache License 2.0 UpdatedApr 7, 2016 -
typescript-dojo-seed Public
Seed for typescript projects or dojos
-
owasp-pysec Public
Forked from ebranca/owasp-pysecOWASP Python Security Project
Python Apache License 2.0 UpdatedJan 6, 2016 -
-
modular-synth-pd Public
Synthesizer Modules developed in Pure Data
-
disassembler-6510 Public
Can be used to disassemble a binary written for the MOS 6510 processor (famous for being used for the Commodore 64)
-
-
sidbox-player Public
SID file player for the SIDBox project - http://hsbp.org/SIDbox
Python UpdatedOct 23, 2012 -
taltos Public
Taltos is an adventure/hacker game, based on a cyberpunk theme