Giters
Sumit Lahiri (codersguild)

codersguild

Geek Repo

131

followers

31

following

384

stars

Company:Indian Institute of Technology Kanpur

Location:CS PhD @ IIT Kanpur

Home Page:https://lahiri.netlify.app/

Twitter:@thenaivecoder

Github PK Tool:Github PK Tool

Organizations
3dfullstack
PingTrader-Inc
trustworthy-systems-iitk

Sumit Lahiri's repositories

System-Design

It's just fascinating. How is modern software designed? 🤔 Some design-level considerations for scalability, maintainability eventual consistency, availability & reliability. 👨‍💻 Interview Prep. 👨‍💻

License:GPL-3.0Stargazers:1860Issues:44Issues:0

Software-Analysis-PAVT

Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework (CO).

Language:BoogieLicense:Apache-2.0Stargazers:34Issues:7Issues:0

vidconf

PoC App for Video Conferencing using Jitsi. Meetings done right 😃 WebRTC, STUN, React, Jitsi & Jitsi-Meet server.

Language:JavaScriptLicense:Apache-2.0Stargazers:6Issues:4Issues:0

codersguild

Profile: https://lahiri.netlify.com/

Stargazers:2Issues:2Issues:0

Videodb-Utility

Video file download and upload utility for video sharing website. Peer-to-Peer video and movie streaming website. https://videodb.com. Adapted from vimeo download utility I made back in the day.

Language:JavaScriptLicense:MITStargazers:2Issues:1Issues:0

Deployments

Bash Scripts, Linux Commands. Static Content, Kubernetes Pods configs and Docker Setup files (Dockerfiles)

Language:ShellStargazers:1Issues:2Issues:0

Mongo-PERN-Backend

MongoDB, Node.js, Express, Prisma, PostgreSQL, Redis & Socket-io with Heroku deploy and GraphQL. Starter Template

Language:JavaScriptLicense:GPL-3.0Stargazers:1Issues:2Issues:0

React-Overmind-RxJS-Frontend

React, Overmind, Axios, Sockets, TailWind CSS & Firebase Setup. Deployed on Netlify. Starter Template

Language:CSSLicense:Apache-2.0Stargazers:1Issues:2Issues:0

simplr

A simple programming language for program verification using Z3, ANTLR4 & Parser Combinators written using Scala

Language:JavaLicense:NOASSERTIONStargazers:1Issues:3Issues:0

Yacc-Lex-Parser

YACC & LEX based simple calculator application. Runs on C++. Context Free Grammar used in parser and Finite State Automaton as Regular Expression in flex used.

Language:YaccLicense:MITStargazers:1Issues:1Issues:0

LLVM-Examples

LLVM Repository and Code samples. LLVM Passes and quick bytes.

Language:LLVMLicense:GPL-2.0Stargazers:0Issues:1Issues:0

bitcore

A full stack for bitcoin and blockchain-based applications

Language:JavaScriptLicense:MITStargazers:0Issues:1Issues:0

cpp-quick

Quick C/C++ Snippets & CPP Examples from production & personal use.

Language:CLicense:GPL-3.0Stargazers:0Issues:2Issues:0

cryptominisat

An advanced SAT solver

Language:C++License:NOASSERTIONStargazers:0Issues:1Issues:0

devil-glitches

My entry for the js13k 2016 game jam

Language:JavaScriptStargazers:0Issues:1Issues:0

firebase-tools

The Firebase Command Line Tools

Language:JavaScriptLicense:MITStargazers:0Issues:1Issues:0

go-genproto

Generated code for Google Cloud client libraries.

Language:GoLicense:Apache-2.0Stargazers:0Issues:1Issues:0

gocode

A repository for Design Pattern Examples, Snippets & Docker+Microservices written in Go. Learn Go on the Go.

License:BSD-3-ClauseStargazers:0Issues:2Issues:0

golem-electron

Graphical user interface for Golem Project

Language:JavaScriptLicense:GPL-3.0Stargazers:0Issues:1Issues:0

grpc-go

The Go language implementation of gRPC. HTTP/2 based RPC

Language:GoLicense:Apache-2.0Stargazers:0Issues:1Issues:0

mediumish-theme-jekyll

Jekyll Template - Mediumish

Language:JavaScriptLicense:MITStargazers:0Issues:1Issues:0

protobuf

Protocol Buffers - Google's data interchange format

Language:C++License:NOASSERTIONStargazers:0Issues:1Issues:0

pythonista

Python code snippets & examples for developers. Python3, PyTorch, Pandas, ML/DL, Numpy, Scikit-learn, Seaborn, Matplotlib

Language:PythonLicense:GPL-3.0Stargazers:0Issues:2Issues:0

react-hook-form

📋 React Hooks for forms validation (Web + React Native)

Language:TypeScriptLicense:MITStargazers:0Issues:1Issues:0

smartcheck

SmartCheck – a static analysis tool that detects vulnerabilities and bugs in Solidity programs (Ethereum-based smart contracts).

Language:SolidityLicense:GPL-3.0Stargazers:0Issues:1Issues:0

T-414-AFLV

T-414-ÁFLV: A Competitive Programming Course

Language:TeXLicense:NOASSERTIONStargazers:0Issues:1Issues:0

verisol

A formal verifier and analysis tool for Solidity Smart Contracts

Language:C#License:NOASSERTIONStargazers:0Issues:2Issues:0

WebSQL-Application

A web application to run online queries to MySQL server. Node.js & Express. Used to demonstrate simple SQL query execution and caching of reading results on a Redis cluster. Also to learn the vulnerabilities involved.

Language:JavaScriptLicense:GPL-3.0Stargazers:0Issues:1Issues:0

webtorrent

⚡️ Streaming torrent client for the web

Language:JavaScriptLicense:MITStargazers:0Issues:1Issues:0

windowsterminal-shell

Install/uninstall scripts for Windows Terminal context menu items

Language:PowerShellLicense:MITStargazers:0Issues:1Issues:0