-
Indian Institute of Technology Kanpur
- CS PhD @ IIT Kanpur
-
02:57
(UTC -12:00) - https://lahiri.netlify.app/
- @thenaivecoder
- in/sumit-lahiri
- https://github.com/lahiri-phdworks
Highlights
-
codersguild Public
Profile: https://lahiri.netlify.com/
-
System-Design Public
It's just fascinating. How is modern software designed? 🤔 Some design-level considerations for scalability, maintainability eventual consistency, availability & reliability. 👨💻 Interview Prep. 👨💻
-
Deployments Public
Bash Scripts, Linux Commands. Static Content, Kubernetes Pods configs and Docker Setup files (Dockerfiles)
-
webtorrent Public
Forked from webtorrent/webtorrent⚡️ Streaming torrent client for the web
JavaScript MIT License UpdatedOct 23, 2023 -
Software-Analysis-PAVT Public
Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework (CO).
-
React-Overmind-RxJS-Frontend Public template
React, Overmind, Axios, Sockets, TailWind CSS & Firebase Setup. Deployed on Netlify. Starter Template
-
LLVM-Examples Public
Forked from lahiri-phdworks/LLVM-ExamplesLLVM Repository and Code samples. LLVM Passes and quick bytes.
-
pythonista Public
Python code snippets & examples for developers. Python3, PyTorch, Pandas, ML/DL, Numpy, Scikit-learn, Seaborn, Matplotlib
-
cpp-quick Public
Quick C/C++ Snippets & CPP Examples from production & personal use.
C GNU General Public License v3.0 UpdatedJan 9, 2022 -
vidconf Public
PoC App for Video Conferencing using Jitsi. Meetings done right 😃 WebRTC, STUN, React, Jitsi & Jitsi-Meet server.
-
grpc-go Public
Forked from grpc/grpc-goThe Go language implementation of gRPC. HTTP/2 based RPC
Go Apache License 2.0 UpdatedJun 4, 2021 -
protobuf Public
Forked from protocolbuffers/protobufProtocol Buffers - Google's data interchange format
C++ Other UpdatedJun 4, 2021 -
Mongo-PERN-Backend Public template
MongoDB, Node.js, Express, Prisma, PostgreSQL, Redis & Socket-io with Heroku deploy and GraphQL. Starter Template
-
gocode Public
A repository for Design Pattern Examples, Snippets & Docker+Microservices written in Go. Learn Go on the Go.
BSD 3-Clause "New" or "Revised" License UpdatedJan 26, 2021 -
WebSQL-Application Public
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 vulne…
JavaScript GNU General Public License v3.0 UpdatedJan 13, 2021 -
mediumish-theme-jekyll Public
Forked from wowthemesnet/mediumish-theme-jekyllJekyll Template - Mediumish
JavaScript MIT License UpdatedJan 9, 2021 -
golem-electron Public
Forked from golemfactory/golem-electronGraphical user interface for Golem Project
JavaScript GNU General Public License v3.0 UpdatedJan 5, 2021 -
devil-glitches Public
Forked from agar3s/devil-glitchesMy entry for the js13k 2016 game jam
JavaScript UpdatedNov 6, 2020 -
smartcheck Public
Forked from smartdec/smartcheckSmartCheck – a static analysis tool that detects vulnerabilities and bugs in Solidity programs (Ethereum-based smart contracts).
Solidity GNU General Public License v3.0 UpdatedOct 15, 2020 -
simplr Public
A simple programming language for program verification using Z3, ANTLR4 & Parser Combinators written using Scala
-
bitcore Public
Forked from bitpay/bitcoreA full stack for bitcoin and blockchain-based applications
JavaScript MIT License UpdatedOct 2, 2020 -
react-hook-form Public
Forked from react-hook-form/react-hook-form📋 React Hooks for forms validation (Web + React Native)
TypeScript MIT License UpdatedAug 19, 2020 -
windowsterminal-shell Public
Forked from lextm/windowsterminal-shellInstall/uninstall scripts for Windows Terminal context menu items
PowerShell MIT License UpdatedJun 5, 2020 -
Videodb-Utility Public
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.
-
T-414-AFLV Public
Forked from SuprDewd/T-414-AFLVT-414-ÁFLV: A Competitive Programming Course
TeX Other UpdatedMar 21, 2020 -
Yacc-Lex-Parser Public
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.
-
cryptominisat Public
Forked from msoos/cryptominisatAn advanced SAT solver
C++ Other UpdatedDec 9, 2019 -
verisol Public
Forked from microsoft/verisolA formal verifier and analysis tool for Solidity Smart Contracts
C# Other UpdatedSep 23, 2019 -
go-genproto Public
Forked from googleapis/go-genprotoGenerated code for Google Cloud client libraries.
Go Apache License 2.0 UpdatedJun 20, 2019 -
firebase-tools Public
Forked from firebase/firebase-toolsThe Firebase Command Line Tools
JavaScript MIT License UpdatedJun 19, 2019