Skip to content
View tobal's full-sized avatar
☮️
.
☮️
.

Block or report tobal

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
  • notes Public

    Personal notes and ToDo-s organized in org files

    Other Updated Dec 17, 2024
  • OpenSSL bindings for Rust

    Rust Updated Feb 27, 2024
  • playground Public

    Personal playground

    TLA Updated Dec 8, 2022
  • Scala GNU General Public License v3.0 Updated Mar 28, 2022
  • dotfiles Public

    Some of my personal linux configuration files

    Vim Script Updated Dec 25, 2021
  • Seed for python projects or dojos

    Python GNU General Public License v3.0 Updated Apr 20, 2021
  • spark Public

    Forked from pigmonkey/spark

    Arch Linux Provisioning with Ansible

    HTML Updated Apr 5, 2021
  • Seed for scala projects or dojos

    Scala GNU General Public License v3.0 Updated Jul 10, 2020
  • A collector repository for artificial intelligence related learning projects

    Python GNU General Public License v3.0 Updated Aug 24, 2019
  • plfa Public

    Exercises for the book Programming Language Foundations in Agda

    Agda Apache License 2.0 Updated Apr 14, 2019
  • Elm MIT License Updated Mar 5, 2019
  • Implementation of the typogenetics "game" from Gödel Esher Bach, based on a streaming architecture

    Python GNU General Public License v2.0 Updated Feb 26, 2019
  • hackerrank Public

    Codes submitted to Hackerrank

    Scala 1 MIT License Updated Feb 7, 2019
  • Notebooks and source codes about data analysis (data science, machine learning)

    Jupyter Notebook MIT License Updated Nov 13, 2018
  • C++ 1 Updated May 25, 2018
  • writings Public

    My writings on various topics

    Creative Commons Zero v1.0 Universal Updated Dec 9, 2016
  • bandit Public

    Forked from openstack-archive/bandit

    Python AST-based static analyzer from OpenStack Security Group

    Python Apache License 2.0 Updated Apr 7, 2016
  • Seed for typescript projects or dojos

    TypeScript 2 Updated Feb 22, 2016
  • owasp-pysec Public

    Forked from ebranca/owasp-pysec

    OWASP Python Security Project

    Python Apache License 2.0 Updated Jan 6, 2016
  • TypeScript MIT License Updated Jan 3, 2016
  • Synthesizer Modules developed in Pure Data

    Pure Data 3 GNU General Public License v2.0 Updated Aug 26, 2015
  • Can be used to disassemble a binary written for the MOS 6510 processor (famous for being used for the Commodore 64)

    Python 1 GNU General Public License v2.0 Updated Jul 14, 2015
  • Python Updated Nov 11, 2014
  • SID file player for the SIDBox project - http://hsbp.org/SIDbox

    Python Updated Oct 23, 2012
  • taltos Public

    Taltos is an adventure/hacker game, based on a cyberpunk theme

    Python 5 1 Updated Jul 17, 2012