rafaelcgs10/my-favorite-ascii-art rafaelcgs10/my-favorite-ascii-art

  • Stars
    star
    8
  • Rank 2,099,232 (Top 42 %)
  • Language
  • Created over 4 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
rafaelcgs10/my-favorite-ascii-art
github

rafaelcgs10

Reviews

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

Repository Details

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

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

nix-configs

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

cli3DS

A small CLI library for Nintendo 3DS Homebrew applications
C++
2
star
5

verified_stream_processing

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