Giters
Petr Šťastný (SoptikHa2)

SoptikHa2

Geek Repo

91

followers

35

following

51

stars

Company:FIT CTU

Location:Prague

Home Page:https://soptik.tech

Github PK Tool:Github PK Tool

Organizations
bakalari-api
klubFITpp
lang-talk

Petr Šťastný's repositories

desed

Debugger for Sed: demystify and debug your sed scripts, from comfort of your terminal.

Language:RustLicense:GPL-3.0Stargazers:874Issues:14Issues:18

video-summarizer

Summarizes videos into much shorter videos. Ideal for long lecture videos.

Language:RustLicense:MITStargazers:110Issues:6Issues:2

bachelors-thesis

Bachelor's thesis: developing symbolic execution for Rlang using Chef and S2E

Language:DockerfileStargazers:5Issues:2Issues:0

archlinux-dotfiles

Archlinux i3 dotfiles

Language:Vim ScriptStargazers:4Issues:2Issues:0

shifra

Language:TypeScriptLicense:GPL-3.0Stargazers:3Issues:4Issues:38

soptik-article-generator

Soptik, the Article Generator. Produces static HTTP webpage from custom flavour of markdown.

Language:CSSStargazers:3Issues:3Issues:1

fitcvut-furik

FUd Risrč & InženýrinK department

Language:HTMLStargazers:2Issues:0Issues:0

gnulib-2020

Patched version of GNU lib that corrects date to never exceed 2020 again.

Language:CLicense:NOASSERTIONStargazers:2Issues:3Issues:0

prenoc-web

Website for prenoc.cz

Language:HTMLLicense:GPL-3.0Stargazers:2Issues:3Issues:2

chef-simple-interpreter

Simple interpreter to test dslab Chef capabilities

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

diffeek

Mime-type aware diff

Language:C++License:GPL-3.0Stargazers:1Issues:3Issues:0

fiks-cpu

Language:PythonStargazers:1Issues:2Issues:0

fit-ctu-free-room-finder

Language:PythonStargazers:1Issues:3Issues:1

studocu-unblocker

Remove studocu paywall and unblur materials that require you to sign up for their premium account. Firefox extension

Language:JavaScriptStargazers:1Issues:2Issues:0

mila-compiler

LLVM frontend for subset of the Pascal programming language, written in Haskell

Language:HaskellStargazers:0Issues:3Issues:0

acm

Personal ACM library, intended to learn c++

Language:C++Stargazers:0Issues:3Issues:0

chef

The Chef symbolic execution platform, based off S2E

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

chef-symbex-lua

Lua interpreter modded to support symbolic execution

Language:CStargazers:0Issues:1Issues:0

email-tracking-clicker

Automatically click on all links found in emails that contain tracking. Whitelist-based functionality.

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

honza-botner

Bot for FIT CTU Discord

Language:C#License:MITStargazers:0Issues:1Issues:0

klubfitpp

Language:HTMLStargazers:0Issues:2Issues:0

lectures

Language:MakefileStargazers:0Issues:3Issues:0

meetups

A community around PL at Prague.

Stargazers:0Issues:1Issues:0

Midisia

Synthesia -> Midi automated convertor. Take youtube synthesia videos and generate midi and piano sheets from it.

Language:RustStargazers:0Issues:3Issues:0

ntu-timetable-export

Export NTU SG stars timetable to ical

Language:TypeScriptStargazers:0Issues:2Issues:0

pased

Pascal to Sed transpiler. You're not creative enough until people start questioning your sanity.

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

r-chef-symbolic-execution

Patched version of the R language to allow symbolic execution of ran programs using Chef

Language:RLicense:GPL-2.0Stargazers:0Issues:1Issues:0

s2e

S2E: A platform for multi-path program analysis with selective symbolic execution.

Language:C++License:NOASSERTIONStargazers:0Issues:1Issues:0

s2e-old

This is the archived S2E 1.0 repo. We do not maintain it anymore.

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

typed-lambda-calculus

Simply typed lambda calculus

Language:HaskellStargazers:0Issues:3Issues:0