aggstam

aggstam

Geek Repo

Github PK Tool:Github PK Tool

aggstam's repositories

sat_GPU

This program solves the Propositional (Boolean) Satisfiability problem using Depth-First Search algorithm.

Language:CLicense:Apache-2.0Stargazers:3Issues:0Issues:0

btc-classifier

Python scripts suite for generating Bitcoin transactions graphs and analyzing them using machine learning.

Language:PythonLicense:GPL-3.0Stargazers:2Issues:3Issues:0

debugger

Simplifying the proper way to debug a program.

Language:PythonLicense:GPL-3.0Stargazers:1Issues:0Issues:0

flex-bison-jvm-language

Simple Flex and Bison programs to validate provided SimpleLanguage file syntax, perform semantic analysis and compile to JVM asembly(jasmin) for execution.

Language:YaccLicense:GPL-3.0Stargazers:1Issues:1Issues:0

movies_randomizer

Simple utility to get movie suggestions from local PSV files.

Language:CLicense:GPL-3.0Stargazers:1Issues:1Issues:0

streamlet_rust

Rust implementation of Streamlet consensus protocol, introduced by Benjamin Y. Chan and Elaine Shi.

Language:RustLicense:Apache-2.0Stargazers:1Issues:1Issues:0

triangles_counting

This program implements Scalable Triangle Counting algorithm introduced by S.Acerm, A.Yasar, S.Rajamanickam, M.Wolf and U.Catalyurek.

Language:CLicense:Apache-2.0Stargazers:1Issues:0Issues:0

x509-parser

X.509 parser written in pure Rust. Fast, zero-copy, safe.

Language:RustLicense:NOASSERTIONStargazers:1Issues:0Issues:0

freecell_solver

This program solves freecell solitaire puzzles using four algorithms: Depth first search, Breadth first search, Best first search and A*

Language:CLicense:Apache-2.0Stargazers:0Issues:0Issues:0

grammar_checker

This program checks if a word can be produced by a Grammar using Depth-First Search.

Language:JavaLicense:Apache-2.0Stargazers:0Issues:0Issues:0

stabbed

Very simple script invoking suckless tabbed with st, resulting in a terminal with tabs support built-in.

Language:MakefileLicense:MITStargazers:0Issues:0Issues:0

tmux_grid

Script to generate a tmux panes grid.

Language:ShellLicense:GPL-3.0Stargazers:0Issues:1Issues:0

barebones-x509

Low-level X.509 verification

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

flex-bison-json

Simple Flex/Bison programs to validate the syntax and perform semantic analysis to JSON files.

Language:YaccLicense:GPL-3.0Stargazers:0Issues:0Issues:0

flex-c-declarations

Simple Flex program producing the corresponding C code to display all the declarions of another C code file.

Language:CLicense:GPL-3.0Stargazers:0Issues:0Issues:0

flex-robot-language

Simple Flex program producing the corresponding C code to validate the syntax of provided RobotLanguage (.rl) code file.

Language:LexLicense:GPL-3.0Stargazers:0Issues:0Issues:0

librewolf-source-installer

A helper script extracting and installing a packaged Liberwolf source tar archive.

Language:MakefileLicense:MPL-2.0Stargazers:0Issues:0Issues:0

mpi_d_step_sssp

This program implements D-Stepping algorithm introduced by U.Mayers and P.Sanders, using SSSP algorith for faster execution.

Language:CLicense:Apache-2.0Stargazers:0Issues:0Issues:0

patterns-overlap

Sowcasing Prolog recursion on Codejam 2017 round A problem B.

Language:PythonLicense:GPL-3.0Stargazers:0Issues:0Issues:0

portage

[MIRROR] Package management system

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

random-x

Barebones Rust template setup for RandomX bindings.

Language:RustLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

rcgen

Generate X.509 certificates

Language:RustLicense:NOASSERTIONStargazers:0Issues:0Issues:0

ring

Safe, fast, small crypto using Rust

Language:AssemblyLicense:NOASSERTIONStargazers:0Issues:0Issues:0

rustls

A modern TLS library in Rust

License:NOASSERTIONStargazers:0Issues:0Issues:0

telegram-bot-proxy

Self hosting proxy for sending prompts and grabing responses from telegram bots.

Language:PythonLicense:GPL-3.0Stargazers:0Issues:0Issues:0

tic_tac_toe

Simple Tic Tac Toe game between two players(clients) connected to a server.

Language:CLicense:Apache-2.0Stargazers:0Issues:0Issues:0

topology_shorting

This program implements a Topology sorting algorithm, based on Kahn's algorithm.

Language:CLicense:Apache-2.0Stargazers:0Issues:1Issues:0

tui-monitor

Simple Terminal UI to monitor processes like a stats curse script, htop and others.

Language:ShellLicense:GPL-3.0Stargazers:0Issues:1Issues:0

ungoogled-chromium-portablelinux

Portable Linux packaging for ungoogled-chromium

Stargazers:0Issues:0Issues:0

zmk

ZMK Firmware Repository

Language:CLicense:MITStargazers:0Issues:0Issues:0