Pinned Repositories
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
coursera
Script for downloading Coursera.org videos and naming them.
ETC
ETC
etc_plug
ETC Rebar3 Plugin
FTPServer
Simple FTPServer written in F#
latest-deployment-sha
PoShFuck
PowerShell implementation of "The Fuck" (https://github.com/nvbn/thefuck)
S5_OS_lab
S5 Os lab questions answers ..mainly bash script and c codes...
SIL-Compiler
Part of Compiler Design Lab
UnblockDllExtension
A tiny helper to remove the ReadOnly and Hidden attribute from dll's and executables which blocking the Visual Studio from building the project. Link to download
vrnithinkumar's Repositories
vrnithinkumar/ETC
ETC
vrnithinkumar/S5_OS_lab
S5 Os lab questions answers ..mainly bash script and c codes...
vrnithinkumar/latest-deployment-sha
vrnithinkumar/etc_plug
ETC Rebar3 Plugin
vrnithinkumar/PoShFuck
PowerShell implementation of "The Fuck" (https://github.com/nvbn/thefuck)
vrnithinkumar/agda-seminar
Learning agda as a proof assistant.
vrnithinkumar/antidote
A planet scale, highly available, transactional database built on CRDT technology
vrnithinkumar/Ben.Demystifier
High performance understanding for stack traces (Make error logs more productive)
vrnithinkumar/blazorDemo
vrnithinkumar/cpp_codes
vrnithinkumar/deepmind-research
This repository contains implementations and illustrative code to accompany DeepMind publications
vrnithinkumar/docs
This repository contains .NET Documentation.
vrnithinkumar/EquationSolver
Equation Solver in F#
vrnithinkumar/erlscp
A supercompiler pass for Erlang
vrnithinkumar/fsharp
Exercism exercises in F#.
vrnithinkumar/hadoopEx
Hadoop hands on
vrnithinkumar/Hexo_Static_Site
Generating static code for My Blog http://vrnithinkumar.github.io/
vrnithinkumar/infer
A static analyzer for Java, C, C++, and Objective-C
vrnithinkumar/learn4haskell
👩🏫 👨🏫 Learn Haskell basics in 4 pull requests
vrnithinkumar/Learn_Something_Daily
Learn something daily, just jotting down
vrnithinkumar/LeetGrokk
Grokking The Coding Interview questions mapped to Leetcode
vrnithinkumar/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
vrnithinkumar/mt
Master thesis on developing a static type checker for Erlang
vrnithinkumar/phoenix-tuts
Learning Elixir and Phoenix
vrnithinkumar/prose
Microsoft Program Synthesis using Examples SDK is a framework of technologies for the automatic generation of programs from input-output examples. This repo includes samples and sample data for the Microsoft Program Synthesis using Example SDK.
vrnithinkumar/TestProjectSmartPtr
Test Project Smart Ptr
vrnithinkumar/vimrc
Version controlling vimrc file. And all notes related to vim tricks.
vrnithinkumar/VireoSDK
Compact runtime for a subset of LabVIEW
vrnithinkumar/vrnithinkumar
vrnithinkumar/vrnithinkumar.github.com
Ma Blog