https://github.com/callmeechocodes/callmeechocodes

Last synced: 2 months ago
JSON representation

Host: GitHub
URL: https://github.com/callmeechocodes/callmeechocodes
Owner: CallMeEchoCodes
Created: 2020-11-30T07:13:00.000Z (about 5 years ago)
Default Branch: main
Last Pushed: 2024-12-27T09:44:59.000Z (12 months ago)
Last Synced: 2025-01-27T13:15:56.802Z (11 months ago)
Language: Isabelle
Size: 300 KB
Stars: 2
Watchers: 1
Forks: 0
Open Issues: 0
Metadata Files:
- Readme: README.md

Awesome Lists containing this project

README

          


    

        

    

    

    

        

    

    

        

    

    Hi, I'm Echo!



```java

public class Echo extends Human {

    // Basic info

    public String pronouns = "They/Them";

    public String gender = "Nonbinary";

    public String location = "Australia";

    public String timezone = "AEST (UTC+10)";

    // Programming

    public final List projects = List.of("Hollow", "Specter", "callmeecho.dev");

    public final List favoriteLanguages =  List.of("Kotlin", "C#", "Java");

    // GPG

    // Please encrypt emails to me if they should be private!

    public static final String gpgKeyFingerprint = "0B0F7A231A84F7EE9B8128CABEBCAB631F88D239";

    public static final String gpgKeyFile = "https://github.com/CallmeEchoCodes.gpg";

}

```



    

        

    

    

        

    

    

        

    



---



    Languages I know

    

        

    

    Frameworks I work with

    

        

    

    Tools I use

    

        

    



---