Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by aronisstav
A curated list of projects in awesome lists by aronisstav .
https://github.com/aronisstav/erlang-concurrency-litmus-tests
A repository of "litmus" tests showing the interaction between Erlang's built-in operations.
Last synced: 12 Oct 2024
https://github.com/aronisstav/formal-trace-theory
Formal proof of the first lemma from the Optimal DPOR paper in proof.
Last synced: 12 Oct 2024
https://github.com/aronisstav/ejsonlog
A drop-in logger formatter for Erlang that outputs messages as line delimited JSON.
Last synced: 12 Oct 2024
https://github.com/aronisstav/aoc2021
Solutions for https://adventofcode.com/2021
Last synced: 12 Oct 2024
https://github.com/aronisstav/aoc2018
Solutions for puzzles of Advent of Code 2018
Last synced: 12 Oct 2024
https://github.com/aronisstav/compilers_tutorial
Used in Compiler Design I course of Uppsala University.
Last synced: 12 Oct 2024
https://github.com/aronisstav/sched
Controllable runtime scheduler for Erlang programs with the ability to automatically instrument, record and replay traces.
Last synced: 12 Oct 2024
https://github.com/aronisstav/acm-paper-base
Base files for ACM workshop papers
Last synced: 12 Oct 2024
https://github.com/aronisstav/aoc2020
Solutions for https://adventofcode.com/2020
advent-of-code advent-of-code-2020
Last synced: 12 Oct 2024
https://github.com/aronisstav/aoc2022
Solutions for https://adventofcode.com/2022
Last synced: 12 Oct 2024
https://github.com/aronisstav/erlang-code
Build and Dialyze scripts for popular Erlang projects
Last synced: 12 Oct 2024
https://github.com/aronisstav/fingertip
Single hand operation app for the Pebble Time smartwatch, using a smartstrap-glove with an Arduino processor.
Last synced: 12 Oct 2024
https://github.com/aronisstav/aoc2019
Solutions for puzzles of Advent of Code 2019
Last synced: 12 Oct 2024