Sumit Lahiri

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

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

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

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

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

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.

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

SWE-Talks. Software Engineering, 👨‍💻 Data Structures, Algorithms, Tech Talks, SDE, SRE Stuff. 🧑‍💻 Be an SWE, one code at a time. 🤪

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.

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

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

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