Skip to content
View tedkim13's full-sized avatar
4 followers · 3 following

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Block or report tedkim13

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

Popular repositories Loading

  1. ProgramsAndProofs ProgramsAndProofs Public

    Fall 2014 Final Project for Programs and Proofs Course

    Agda

  2. automated-theorem-provers automated-theorem-provers Public

    Automated Theorem Provers for COMP560

    OCaml

  3. node-red-contrib-opcua node-red-contrib-opcua Public

    Forked from mikakaraila/node-red-contrib-opcua

    A Node-RED node to communicate OPC UA. Uses node-opcua library.

    JavaScript