codersguild
CS Ph.D. (Program Analysis, ML & Verification). Full-Stack Developer, TCS RSP Fellow, @zero3inc Tech Lead. Ex-SDE @golemfactory.
Indian Institute of Technology KanpurCS PhD @ IIT Kanpur
Pinned Repositories
React-Quick
Short React Snippets & React Code Examples from POCs I have built.
codersguild
Profile: https://lahiri.netlify.com/
Deployments
Bash Scripts, Linux Commands. Static Content, Kubernetes Pods configs and Docker Setup files (Dockerfiles)
LLVM-Examples
LLVM Repository and Code samples. LLVM Passes and quick bytes.
Mongo-PERN-Backend
MongoDB, Node.js, Express, Prisma, PostgreSQL, Redis & Socket-io with Heroku deploy and GraphQL. Starter Template
simplr
A simple programming language for program verification using Z3, ANTLR4 & Parser Combinators written using Scala
Software-Analysis-PAVT
Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework (CO).
System-Design
It's just fascinating. How is modern software designed? 🤔 Some design-level considerations for scalability, maintainability eventual consistency, availability & reliability. 👨💻 Interview Prep. 👨💻
vidconf
PoC App for Video Conferencing using Jitsi. Meetings done right 😃 WebRTC, STUN, React, Jitsi & Jitsi-Meet server.
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.
codersguild's Repositories
codersguild/System-Design
It's just fascinating. How is modern software designed? 🤔 Some design-level considerations for scalability, maintainability eventual consistency, availability & reliability. 👨💻 Interview Prep. 👨💻
codersguild/Software-Analysis-PAVT
Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework (CO).
codersguild/vidconf
PoC App for Video Conferencing using Jitsi. Meetings done right 😃 WebRTC, STUN, React, Jitsi & Jitsi-Meet server.
codersguild/codersguild
Profile: https://lahiri.netlify.com/
codersguild/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.
codersguild/Deployments
Bash Scripts, Linux Commands. Static Content, Kubernetes Pods configs and Docker Setup files (Dockerfiles)
codersguild/Mongo-PERN-Backend
MongoDB, Node.js, Express, Prisma, PostgreSQL, Redis & Socket-io with Heroku deploy and GraphQL. Starter Template
codersguild/pythonista
Python code snippets & examples for developers. Python3, PyTorch, Pandas, ML/DL, Numpy, Scikit-learn, Seaborn, Matplotlib
codersguild/React-Overmind-RxJS-Frontend
React, Overmind, Axios, Sockets, TailWind CSS & Firebase Setup. Deployed on Netlify. Starter Template
codersguild/simplr
A simple programming language for program verification using Z3, ANTLR4 & Parser Combinators written using Scala
codersguild/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.
codersguild/LLVM-Examples
LLVM Repository and Code samples. LLVM Passes and quick bytes.
codersguild/bitcore
A full stack for bitcoin and blockchain-based applications
codersguild/cpp-quick
Quick C/C++ Snippets & CPP Examples from production & personal use.
codersguild/cryptominisat
An advanced SAT solver
codersguild/devil-glitches
My entry for the js13k 2016 game jam
codersguild/firebase-tools
The Firebase Command Line Tools
codersguild/go-genproto
Generated code for Google Cloud client libraries.
codersguild/gocode
A repository for Design Pattern Examples, Snippets & Docker+Microservices written in Go. Learn Go on the Go.
codersguild/golem-electron
Graphical user interface for Golem Project
codersguild/grpc-go
The Go language implementation of gRPC. HTTP/2 based RPC
codersguild/mediumish-theme-jekyll
Jekyll Template - Mediumish
codersguild/protobuf
Protocol Buffers - Google's data interchange format
codersguild/react-hook-form
📋 React Hooks for forms validation (Web + React Native)
codersguild/smartcheck
SmartCheck – a static analysis tool that detects vulnerabilities and bugs in Solidity programs (Ethereum-based smart contracts).
codersguild/T-414-AFLV
T-414-ÁFLV: A Competitive Programming Course
codersguild/verisol
A formal verifier and analysis tool for Solidity Smart Contracts
codersguild/WebSQL-Application
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 vulnerabilities involved.
codersguild/webtorrent
⚡️ Streaming torrent client for the web
codersguild/windowsterminal-shell
Install/uninstall scripts for Windows Terminal context menu items