isaacv-pl
Doctoral Candidate in CS at the University of Minnesota. Research interests: HoTT, Verification, Philosophy (Logic, Phenomenology, German Idealism), Theology
isaacv-pl's Stars
pierrechevalier83/ferris
A low profile split keyboard designed to satisfy one single use case elegantly
davidphilipbarr/Sweep
Sweep - a small promicro based keyboard inspired by the Ferris.
andrejbauer/homotopy-type-theory-course
A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
RedPRL/redtt
"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory
jkallini/Stateful
An online tutor for learning about finite state machines and regular languages.
firstcontributions/first-contributions
🚀✨ Help beginners to contribute to open source projects
jkallini/HelloJulie
My first Android app, developed as a pre-work project prior to starting my Facebook University internship.
jkallini/SimpleToDo
Simple todo app for CodePath.
jkallini/Flixster
Flixster is an Android app that displays information about new movie releases. Scrolling through the app displays the movies, along with their posters and descriptions. Tapping on the movie displays its release date, rating, and a link to a trailer on YouTube. This app is compatible with both portrait and landscape orientations.
jkallini/Calculator
Simple percentage calculator app.
jkallini/SimpleTweet
SimpleTweet is an android app that allows a user to view his Twitter timeline and post a new tweet. The app utilizes Twitter REST API.
jkallini/Instagram
This Android project is the photo-sharing app Instagram, made from the ground up. It utilizes Parse as its backend.
jkallini/MazeAdventures
A Unity game where you play as a lonely pill trying to get out of a dangerous maze.