Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by 0x0f0f0f
A curated list of projects in awesome lists by 0x0f0f0f .
https://github.com/0x0f0f0f/memplot
Generate image plots of processes' memory usage very quickly, within a single binary.
Last synced: 27 Oct 2024
https://github.com/0x0f0f0f/gobba
A purely functional dynamically typed programming language.
Last synced: 28 Oct 2024
https://github.com/0x0f0f0f/dune-starter-project
A simple OCaml project skeleton using dune, ppx_deriving and alcotest.
Last synced: 21 Nov 2024
https://github.com/0x0f0f0f/tripbot9000
Procedural generation of geometric patterns and fractals.
art geometry golang mandelbrot mandelbrot-fractal procedural procedural-generation
Last synced: 12 Oct 2024
https://github.com/0x0f0f0f/yasih
Yet another Scheme implemented in Haskell
Last synced: 12 Oct 2024
https://github.com/0x0f0f0f/computability-complexity-cheat-sheets
TeX code for Computability Theory and Complexity Theory Cheat Sheets
Last synced: 21 Nov 2024
https://github.com/0x0f0f0f/appunti-cps-a-2019
Appunti del Corso di Calcolo Probabilità e Statistica
Last synced: 21 Nov 2024
https://github.com/0x0f0f0f/metatheory-juliacon-2021-slides
Slides for the Metatheory.jl 2021 juliacon talk
Last synced: 21 Nov 2024
https://github.com/0x0f0f0f/appunti-ae-2019-arm
Appunti del corso di Architettura degli Elaboratori A.A 2019-2020
Last synced: 21 Nov 2024
https://github.com/0x0f0f0f/minicaml
This is the old source code archive for minicaml. The project has been renamed to gobba!
Last synced: 21 Nov 2024
https://github.com/0x0f0f0f/mtmaths.jl
Experimental symbolic mathematics CAS built on top of e-graphs rewriting and Metatheory.jl
Last synced: 21 Nov 2024
https://github.com/0x0f0f0f/lwa-techniques
Implementation of algorithms described in "A coalgebraic perspective on linear weighted automata" and "Up-To Techniques for Weighted Systems"
Last synced: 21 Nov 2024
https://github.com/0x0f0f0f/yaoegraph.jl
EGraph based quantum circuit simplification via Metatheory
Last synced: 21 Nov 2024
https://github.com/0x0f0f0f/calcurse-telegram-bot
Telegram bot that parses and handles calcurse events and todos through a git (dotfiles) repository
appointments calcurse calendar dotfile telegram-bot todolist
Last synced: 18 Dec 2024
https://github.com/0x0f0f0f/iia.jl
Code for exercises for the introduction to artificial intelligence at UniPisa
Last synced: 21 Nov 2024
https://github.com/0x0f0f0f/veryfastdict.jl
Experiments in very fast implementation of Dictionaries of bits types
Last synced: 21 Nov 2024
https://github.com/0x0f0f0f/pr2-assignment
Java Midterm Project for Programming 2 Course @ UniPisa
Last synced: 21 Nov 2024
https://github.com/0x0f0f0f/metatheory-garbage
old tests and experiments that have to be cleaned up and updated to latest MT
Last synced: 21 Nov 2024
https://github.com/0x0f0f0f/infectious-disease-toy-simulation
Unprecise toy simulation of the spread of infectious disease in a single C file.
Last synced: 21 Nov 2024
https://github.com/0x0f0f0f/gobba-book
The Gobba Programming Language Handbook
Last synced: 21 Nov 2024