k4rtik Goto Github PK
Name: Kartik Singhal
Type: User
Bio: Programming Languages, Quantum Computing, Systems, and more. In superposition with @qartik.
Twitter: k4rtik
Location: Chicago, IL
Blog: ks.cs.uchicago.edu
Name: Kartik Singhal
Type: User
Bio: Programming Languages, Quantum Computing, Systems, and more. In superposition with @qartik.
Twitter: k4rtik
Location: Chicago, IL
Blog: ks.cs.uchicago.edu
ACM consolidated LaTeX styles
Agda formalisation of second-order abstract syntax
Auriga is a minimalist LaTeX beamer presentation theme 📽
Theme for the Hugo static website generator
Beej's guide's examples, a bit improved
BitTorrent Protocol and Client implementation in Rust
Android Open Accessory Development Kit using BeagleBone
Code for my BTP on Global Value Numbering
PHP and PostgreSQL based DBMS Course Project done with Aviral
Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"
Modeling I/O in Coq using free monads
Counterexamples in Type Systems
Source for http://cs.brown.edu/~ksinghal
CSED NITC website version 0.1.x - pure hard coded XHTML/CSS
CSED NITC website version 0.2 - this was an attempt to create the basic structure of the website without any theme/template in mind
A Django based implementation attempt of CSED website
Programming assignments/homework done by Kartik Singhal under CSU230 Program Design course under CSED, NIT Calicut.
Code written for our Data Structures Lab Course at NIT Calicut.
Programming assignments done under CSU396 Programming Languages Lab course under CSED, NIT Calicut.
Programming assignments done under CSU397 OS Lab course under CSED, NIT Calicut.
This was my first experience with real web hosting and a live website. Not many major changes from the previous site were done (except for the addition of message and photo of the new Principal of the school). Although the website didn’t develop further because of clash of ideas between the Principal and me, but I learned a lot about web hosting and this laid the foundation for TechGlider.com (now TechGlider.in), my own website which was launched on July 31, 2008.
This website was done by me when I was studying in standard 9. As a product of an inter house web design competition (which yours truly won while facing other participants who were all seniors ranging from classes 10 to 12), this website inspired me to step further into web design.
Those much-needed dotfiles!
Lecture material for DeepSpec Summer School 2018
Project Event Networks - A platform to connect events happening around various colleges in India.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.