rafaelcgs10/cli3DS rafaelcgs10/cli3DS

  • Stars
    star
    2
  • Language
    C++
  • License
    MIT License
  • Created over 4 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
rafaelcgs10/cli3DS
github

rafaelcgs10

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A small CLI library for Nintendo 3DS Homebrew applications

More Repositories

1

W-in-Coq

This is a Coq formalization of Damas-Milner type system and its algorithm W.
Coq
27
star
2

Latex-Beamer-UDESC

It's a beamer presentation written in LaTeX with some theme modifications.
TeX
8
star
3

my-favorite-ascii-art

Just a collection of my favorite ascii art (actually some are utf-8/unicode). Some are my creation, some are stolen.
8
star
4

nix-configs

Just my personal nix files configs and dot files
Nix
3
star
5

verified_stream_processing

A Isabelle/HOL verification framework for Time-Aware Stream Processing
Isabelle
2
star