Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by skius
A curated list of projects in awesome lists by skius .
https://github.com/skius/progge.rs
Program analysis playground for a simple, imperative language
abstract-interpretation compiler llvm program-analysis programming-language static-analysis type-checking
Last synced: 28 Oct 2024
https://github.com/skius/rm-pdf-tools
PDF tools for reMarkable tablets
hacktoberfest remarkable-tablet
Last synced: 13 Oct 2024
https://github.com/skius/eth-video-grabber
Download all ETH lecture recordings you have access to.
Last synced: 13 Oct 2024
https://github.com/skius/imp
Big-step, small-step and axiomatic semantics for the IMP language (unofficial)
formal-methods formal-verification hacktoberfest proof-checker
Last synced: 13 Oct 2024
https://github.com/skius/stringlang
An interpreted, expression-oriented language where everything evaluates to strings
golang hacktoberfest interpreter language programming-language
Last synced: 13 Oct 2024
https://github.com/skius/headlessmc
This library provides a simple abstraction over a connection to a Minecraft server including appropriate packets in Rust
Last synced: 13 Oct 2024
https://github.com/skius/elina-rs
Rust bindings for the ELINA library
abstract-interpretation hacktoberfest numerical-analysis
Last synced: 13 Oct 2024
https://github.com/skius/movie_cleaner
Removes media files where there already is a higher resolution
Last synced: 13 Oct 2024
https://github.com/skius/dataflowanalysis
Data-flow analysis framework in Go
Last synced: 13 Oct 2024
https://github.com/skius/aoc-fold-generator
Advent of Code Day 13 tool to generate inputs
advent-of-code advent-of-code-2021
Last synced: 13 Oct 2024
https://github.com/skius/collisionpicalculator
Calculates Pi using elastic collisions
Last synced: 13 Oct 2024
https://github.com/skius/stupidest-uptime-bot
Wanna monitor your services in a stable and responsible manner? Then this tool is not for you.
Last synced: 13 Oct 2024
https://github.com/skius/equalityfilter
Allows finding sets of equal elements through an iterative manual process
Last synced: 13 Oct 2024