Giters
Vishal Lama (vishallama)

vishallama

Geek Repo

18

followers

69

following

1k

stars

Location:USA

Home Page:https://mathstodon.xyz/web/@vishallama

Github PK Tool:Github PK Tool

Vishal Lama's starred repositories

UniMath

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

Language:CoqLicense:NOASSERTIONStargazers:924Issues:0Issues:0

vim-galore

:mortar_board: All things Vim!

Language:Vim scriptLicense:CC-BY-SA-4.0Stargazers:16534Issues:0Issues:0

learnvimscriptthehardway

Language:ShellLicense:NOASSERTIONStargazers:1336Issues:0Issues:0

frontend-grading-engine

Providing immediate feedback for front-end code

Language:JavaScriptLicense:MITStargazers:132Issues:0Issues:0

gulp

A toolkit to automate & enhance your workflow

Language:JavaScriptLicense:MITStargazers:32949Issues:0Issues:0

node

Node.js JavaScript runtime ✨🐢🚀✨

Language:JavaScriptLicense:NOASSERTIONStargazers:104928Issues:0Issues:0

understandinges6

Content for the ebook "Understanding ECMAScript 6"

Stargazers:5449Issues:0Issues:0

freeCodeCamp

freeCodeCamp.org's open-source codebase and curriculum. Learn to code for free.

Language:TypeScriptLicense:BSD-3-ClauseStargazers:391909Issues:0Issues:0

Idris-dev

A Dependently Typed Functional Programming Language

Language:HaskellLicense:NOASSERTIONStargazers:3410Issues:0Issues:0