Popular repositories Loading

1. STLC-idris STLC-idris Public

   An implementation of the simply typed lambda calculus supporting primitive recursion on Nats using dependent types.

   Python 2

2. TBL TBL Public

   A calculator language with lists and higher order functions written in pure javascript

   JavaScript 1

3. instagram-private-api instagram-private-api Public

   Forked from dilame/instagram-private-api

   Fork of dilame's NodeJS Instagram private API SDK. Written in TypeScript.

   TypeScript 1

4. instagram_mqtt instagram_mqtt Public

   Forked from Nerixyz/instagram_mqtt

   Fork of Nerixyz's Realtime and Push Notification (FBNS) support for the instagram-private-api

   TypeScript 1

5. UofT_CourseScript UofT_CourseScript Public

   Forked from Svision/UofT_CourseScript

   UofT Course Script is a fully free open-source script written in Python with Selenium (automating web applications) to help UofT students get popular courses securely.

   Python 1

6. github-slideshow github-slideshow Public

   A robot powered training repository 🤖

   Ruby