Discover @codersguild Open Source projects

Sumit Lahiri (@codersguild)

codersguild

Stars
1,983
Global Rank 15,544 (Top 0.6 %)
Followers 137
Following 31
Registered almost 8 years ago
Most used languages

JavaScript
33.3 %

Boogie 11.1 %

Java
11.1 %

CSS
11.1 %

Shell
11.1 %

Python
11.1 %

Yacc 11.1 %
Location 🇮🇳 India
Country Total Rank 425
Country Ranking

Boogie 1

Yacc 95

Shell
4,556

JavaScript
9,293

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/

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

Deployments

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

pythonista

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

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.

React-Overmind-RxJS-Frontend

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

Mongo-PERN-Backend

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