GiulioCocconi's Stars
Genesis-Embodied-AI/Genesis
A generative world for general-purpose robotics & embodied AI learning.
pgf-tikz/pgf
A Portable Graphic Format for TeX
sagemathinc/cocalc-desktop
This is the CoCalc Electron desktop application.
topological-modular-forms/Darwin-Typeface
This is the project repository for Darwin, a typeface for books and articles, with a focus on scientific writing.
LeandroSQ/cpp-chip8-emulator
CHIP8 Emulator: C++ and SDL2
BorysLevytskyi/BitwiseCmd
Bitwise Calculator Online
rxrbln/t2sde
T2 SDE Linux
doxygen/doxygen
Official doxygen git repository
Mic92/nixos-shell
Spawns lightweight nixos vms in a shell
snowfallorg/lib
Unified configuration for systems, packages, modules, shells, templates, and more with Nix Flakes.
infinisil/sanix
Sane stable stateless NixOS setup
NixOS/nixpkgs
Nix Packages collection & NixOS
infinisil/nixus
Experimental deployment tool supporting multi-host abstractions
infinisil/system
My system configuration
NixOS/nix
Nix, the purely functional package manager
XmacsLabs/mogan
Mogan STEM Suite (based on GNU TeXmacs): Enjoy exploring science and technology!
nitefood/asn
ASN / RPKI validity / BGP stats / IPv4v6 / Prefix / URL / ASPath / Organization / IP reputation / IP geolocation / IP fingerprinting / Network recon / lookup API server / Web traceroute server
Orobas42/GitShodanKey
Search GitHub for public Shodan api keys
dmrrlc/connectiq-sailing
forsb/Ticker
Garmin watch app for simple sail race timing
cia-foundation/TempleOS
Talk to God on up to 64 cores. Final snapshot of the Third Temple.
JetBrains/kotlin
The Kotlin Programming Language.
jherskow/nand2tetris
Problem sets completed from HUJI's offering of From NAND to TETRIS - The Elements of Computing Systems, 2017. A complete description for each project is available at https://www.nand2tetris.org/course.
syl20bnr/spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!