mj-ramos's Stars
typst/typst
A new markup-based typesetting system that is powerful and easy to learn.
surrealdb/surrealdb
A scalable, distributed, collaborative, document-graph database, for the realtime web
libgit2/libgit2
A cross-platform, linkable library implementation of Git that you can use in your application.
remzi-arpacidusseau/ostep-projects
Projects for an undergraduate OS course
yhzhang0128/egos-2000
Envision a future where every student can read all the code of a teaching operating system.
madthanu/alice
ramanala/PACE
Protocol-Aware Correlated Crash Explorer for Distributed Storage Systems