Skip to content
View lcharles123's full-sized avatar
9 followers · 23 following
  • UFMG
  • Brazil

Achievements

Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Shark
BetaSend feedback

Achievements

Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Shark
BetaSend feedback
Block or Report

Block or report lcharles123

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned

  1. Install dafny lang binaries and run ... Install dafny lang binaries and run inside a terminal, no vscode or emacs needed.
    1 
    #
    2 
    # Use Dafny lang in any system: setup agnostic
    3 
    # Tested on Ubuntu 18.04
    4 
    # install java
    5 
    # apt install default-jre
  2. pvc-mount pvc-mount Public

  3. recomender-ml recomender-ml Public

  4. rtl819x-toolchain rtl819x-toolchain Public

    Forked from frederic/rtl819x-toolchain

    rtl819x-toolchain-v3.2.3 - Linux SDK for TOTOLINK G150R/G300R

    C

  5. TP2-embarcados TP2-embarcados Public

    TP2-embarcados, montador, assembler

    Python