There are no reviews yet. Be the first to send feedback to the community and the maintainers!
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).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 ScalaDeployments
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 TemplateMongo-PERN-Backend
MongoDB, Node.js, Express, Prisma, PostgreSQL, Redis & Socket-io with Heroku deploy and GraphQL. Starter TemplateLove Open Source and this site? Check out how you can help us