Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by roG0d

A curated list of projects in awesome lists by roG0d .

https://github.com/rog0d/logics

Chapters with resolved exercises from the first volumen Logical Foundations of the series Software Foundations

Last synced: 15 Jan 2025

https://github.com/rog0d/gbd_experimentation

Repo containing scripts for the gdb experimentation

Last synced: 15 Jan 2025

https://github.com/rog0d/crust_of_rust

Code demos with personal annotations used by Jon Gjengset

Last synced: 15 Jan 2025

https://github.com/rog0d/gpuss_watchers

"The GPU Watchers swore upon their shared memory hierarchy, from L1 to global memory, which also served as their mandate as lords of parallel computation."

cuda gpu-acceleration gpu-monitoring gpu-profiling

Last synced: 20 Dec 2024

https://github.com/rog0d/distributed-challenges

Series of challenges proposed by fly.io (https://fly.io/dist-sys/)

Last synced: 15 Jan 2025

https://github.com/rog0d/compil

Updated version of the code found on Xavier Leroy's Compil course

compil coq

Last synced: 24 Dec 2024

https://github.com/rog0d/human-eval-miscellaneous

Diverse sets of example and utilities for the cross-humaneval project

Last synced: 15 Jan 2025

https://github.com/rog0d/hilobot

A slack slash-command-bot to alert people who response outside of a thread

Last synced: 15 Jan 2025

https://github.com/rog0d/gpt2_from_scratch_candle

Repo containing a candle version of the gpt2 from scratch video by Andrej Karpathy

Last synced: 15 Jan 2025

https://github.com/rog0d/fitlog

Kinda log for routines and exercises

Last synced: 15 Jan 2025