Skip to content
View zacque0's full-sized avatar
1 follower · 53 following

Block or report zacque0

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
zacque0/README.md
  • 👋 Hi, I’m @zacque0.
  • 👀 I’m interested in developing programming language and related tools. I'm also interested in applying formal methods to product better quality software.
  • 🌱 I’m currently learning PLT and formal methods.
  • 📫 How to reach me: through Github or email.

Popular repositories Loading

  1. adventofcode adventofcode Public

    Advent of code solutions in Standard ML.

    Standard ML 2

  2. zacque0 zacque0 Public

    Config files for my GitHub profile.

  3. clac clac Public

    Forked from soveran/clac

    Command-line, stack-based calculator with postfix notation

    C

  4. org-weights org-weights Public

    Forked from pinard/org-weights

    Show how heavy Org subtrees are

    Emacs Lisp

  5. org-dp org-dp Public

    Forked from tj64/org-dp

    Declarative Programming with Org Elements

    Emacs Lisp

  6. orgstrap orgstrap Public

    Forked from tgbugs/orgstrap

    Executable Org files

    Emacs Lisp