Discover @codersguild Open Source projects

Sumit Lahiri (@codersguild)

codersguild

Stars
1,840
Global Rank 16,173 (Top 0.6 %)
Followers 128
Following 31
Registered over 7 years ago
Most used languages

JavaScript
37.5 %

Java
12.5 %

Shell
12.5 %

Yacc 12.5 %

CSS
12.5 %

Boogie 12.5 %
Location 🇮🇳 India
Country Total Rank 425
Country Ranking

Boogie 1

Yacc 106

Shell
3,241

JavaScript
9,376

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)

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