Mateusz Urbańczyk (Tomatosoup97)

Tomatosoup97

Geek Repo

Company:@qedsoftware

Location:Poland

Home Page:http://tomatosoup.pl/

Github PK Tool:Github PK Tool


Organizations
CodersCommunity
epfl-ada
ksiuwr
ProjektSOFA

Mateusz Urbańczyk's repositories

freak

Free as in beer, free as in algebra. Language with (co)algebraic effects and (co)handlers

Language:TeXStargazers:6Issues:4Issues:0

selenium_testing

Examples of functional testing users and orders with Selenium

Language:PythonStargazers:2Issues:2Issues:0

aisd-skrypt

Skrypt do przedmiotu "Algorytmy i Struktury Danych"

Language:TeXStargazers:1Issues:2Issues:0

ext2-fs

ext2 file system implementation in FUSE

Language:CStargazers:1Issues:3Issues:0

Languages

Various programming languages implementations

Notebooks

Various problems solutions in Ipython Notebooks

Language:Jupyter NotebookStargazers:1Issues:2Issues:0

transactional-memory

Software transactional memory, with snapshot isolation, atomicity, and consistency guarantees

Language:C++Stargazers:1Issues:2Issues:0

Web-Server

Simple, platform independent HTTP 1.1 web server in C++ using Boost.Asio

Language:C++License:MITStargazers:1Issues:2Issues:0

distributed-rust

Distributed algorithms in Rust

Language:RustStargazers:0Issues:1Issues:0

Localized-Causal-Broadcast

Localized Causal Broadcast implementation in decentralized system using UDP sockets

Language:C++License:MITStargazers:0Issues:2Issues:0

Studies

University of Wroclaw

Language:OCamlStargazers:0Issues:2Issues:0

2021

Materials for Applied Data Analysis CS-401, Fall 2021

Language:Jupyter NotebookStargazers:0Issues:1Issues:0

ansible-opendronemap

Ansible playbooks for automated installation of OpenDroneMap.

Stargazers:0Issues:2Issues:0

ApplicationSecurity

Applications vulnerable to common security threats

Language:PythonStargazers:0Issues:2Issues:0

bd2019-projekt

Specyfikacja projektu do przedmiotu BD2019 prowadzonego w Instytucie Informatyki UWr

Stargazers:0Issues:2Issues:0
License:GPL-2.0Stargazers:0Issues:0Issues:0

codewars_solutions

Solutions for kata's in codewars

Language:PythonStargazers:0Issues:2Issues:0

django

The Web framework for perfectionists with deadlines.

Language:PythonLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

dotfiles

:zap: Awesome configurations for the development environments

Language:ShellLicense:MITStargazers:0Issues:1Issues:0

effect

effect isolation in Python, to facilitate more purely functional code

Language:PythonStargazers:0Issues:1Issues:0

effects-bibliography

A collaborative bibliography of work related to the theory and practice of computational effects

Stargazers:0Issues:1Issues:0
Language:HTMLStargazers:0Issues:0Issues:0
Language:CoqStargazers:0Issues:1Issues:0

grazyna

Grazyna the polish irc bot

Language:PythonLicense:GPL-2.0Stargazers:0Issues:2Issues:0

libfuse

The reference implementation of the Linux FUSE (Filesystem in Userspace) interface

Language:CLicense:GPL-2.0Stargazers:0Issues:2Issues:0

linux-academy

Kernel source tree for Raspberry Pi Foundation-provided kernel builds. Issues unrelated to the linux kernel should be posted on the community forum at https://www.raspberrypi.org/forum

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

mimiker

An experiment with implementation of very simple operating system for Malta board

Language:CLicense:BSD-3-ClauseStargazers:0Issues:4Issues:0

semantic-transformer

Tool transforming evaluators into abstract machines

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

toggl-monthly-reports

Download monthly reports from toggl

Language:PythonStargazers:0Issues:1Issues:0

zosia16-site

Django 1.10 version of ZOSIA registration page - v2016 edition.

Language:PythonStargazers:0Issues:2Issues:0