GitHub / codersguild 7 Repositories
CS Ph.D. (Program Analysis, ML & Verification). Full-Stack Developer, TCS RSP Fellow, Blockchain Developer. Ex-SDE @golemfactory. Open Source @youtube, @gollvm
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. 👨💻
Size: 1000 KB - Last synced at: 17 days ago - Pushed at: about 1 year ago - Stars: 2,056 - Forks: 395
codersguild/codersguild
Profile: https://lahiri.netlify.com/
Size: 2.23 MB - Last synced at: 20 days ago - Pushed at: 6 months ago - Stars: 3 - Forks: 1
codersguild/Software-Analysis-PAVT
Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework (CO).
Language: Boogie - Size: 21.9 MB - Last synced at: 20 days ago - Pushed at: about 2 years ago - Stars: 37 - Forks: 6
codersguild/pythonista
Python code snippets & examples for developers. Python3, PyTorch, Pandas, ML/DL, Numpy, Scikit-learn, Seaborn, Matplotlib
Language: Python - Size: 15.8 MB - Last synced at: 2 months ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0
codersguild/simplr
A simple programming language for program verification using Z3, ANTLR4 & Parser Combinators written using Scala
Language: Java - Size: 14.8 MB - Last synced at: 2 months ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 1
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.
Language: JavaScript - Size: 91.8 KB - Last synced at: 2 months ago - Pushed at: about 5 years ago - Stars: 2 - Forks: 0
codersguild/React-Overmind-RxJS-Frontend
React, Overmind, Axios, Sockets, TailWind CSS & Firebase Setup. Deployed on Netlify. Starter Template
Language: CSS - Size: 1.26 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 1
codersguild/Deployments
Bash Scripts, Linux Commands. Static Content, Kubernetes Pods configs and Docker Setup files (Dockerfiles)
Language: Shell - Size: 14.5 MB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
codersguild/vidconf
PoC App for Video Conferencing using Jitsi. Meetings done right 😃 WebRTC, STUN, React, Jitsi & Jitsi-Meet server.
Language: JavaScript - Size: 615 KB - Last synced at: 20 days ago - Pushed at: almost 4 years ago - Stars: 6 - Forks: 4
codersguild/LLVM-Examples Fork of lahiri-phdworks/LLVM-Examples
LLVM Repository and Code samples. LLVM Passes and quick bytes.
Language: LLVM - Size: 60.8 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 1
codersguild/cpp-quick
Quick C/C++ Snippets & CPP Examples from production & personal use.
Language: C - Size: 49.8 KB - Last synced at: 2 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
codersguild/webtorrent Fork of webtorrent/webtorrent
⚡️ Streaming torrent client for the web
Language: JavaScript - Size: 8.38 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
codersguild/grpc-go Fork of grpc/grpc-go
The Go language implementation of gRPC. HTTP/2 based RPC
Language: Go - Size: 14 MB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
codersguild/protobuf Fork of protocolbuffers/protobuf
Protocol Buffers - Google's data interchange format
Language: C++ - Size: 80.7 MB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
codersguild/Mongo-PERN-Backend
MongoDB, Node.js, Express, Prisma, PostgreSQL, Redis & Socket-io with Heroku deploy and GraphQL. Starter Template
Language: JavaScript - Size: 174 KB - Last synced at: 2 months ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 1
codersguild/gocode
A repository for Design Pattern Examples, Snippets & Docker+Microservices written in Go. Learn Go on the Go.
Size: 1.95 KB - Last synced at: 2 months ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
codersguild/mediumish-theme-jekyll Fork of wowthemesnet/mediumish-theme-jekyll
Jekyll Template - Mediumish
Size: 6.88 MB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
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.
Language: JavaScript - Size: 10.9 MB - Last synced at: 2 months ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
codersguild/golem-electron Fork of golemfactory/golem-electron
Graphical user interface for Golem Project
Size: 10.1 MB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
codersguild/devil-glitches Fork of agar3s/devil-glitches
My entry for the js13k 2016 game jam
Language: JavaScript - Size: 385 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
codersguild/smartcheck Fork of smartdec/smartcheck
SmartCheck – a static analysis tool that detects vulnerabilities and bugs in Solidity programs (Ethereum-based smart contracts).
Size: 1000 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
codersguild/bitcore Fork of bitpay/bitcore
A full stack for bitcoin and blockchain-based applications
Language: JavaScript - Size: 78.8 MB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
codersguild/react-hook-form Fork of react-hook-form/react-hook-form
📋 React Hooks for forms validation (Web + React Native)
Size: 12.6 MB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
codersguild/redis Fork of microsoftarchive/redis
Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes
Language: C - Size: 212 MB - Last synced at: about 2 years ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0
codersguild/windowsterminal-shell Fork of lextm/windowsterminal-shell
Install/uninstall scripts for Windows Terminal context menu items
Size: 235 KB - Last synced at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0
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.
Language: Yacc - Size: 19.5 KB - Last synced at: 2 months ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 1
codersguild/T-414-AFLV Fork of SuprDewd/T-414-AFLV
T-414-ÁFLV: A Competitive Programming Course
Size: 5.61 MB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0
codersguild/cryptominisat Fork of msoos/cryptominisat
An advanced SAT solver
Size: 53.2 MB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
codersguild/verisol Fork of microsoft/verisol
A formal verifier and analysis tool for Solidity Smart Contracts
Size: 737 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
codersguild/go-genproto Fork of googleapis/go-genproto
Generated code for Google Cloud client libraries.
Language: Go - Size: 18.6 MB - Last synced at: about 2 years ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0
codersguild/firebase-tools Fork of firebase/firebase-tools
The Firebase Command Line Tools
Language: JavaScript - Size: 2.59 MB - Last synced at: about 2 years ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0
codersguild/nodejs.org Fork of nodejs/nodejs.org
The Node.js website.
Language: JavaScript - Size: 30.6 MB - Last synced at: about 2 years ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0
codersguild/go-mqmail Fork of geektrust/go-mqmail
An application which will listen to a message queue and get the request and send an email to the recipients
Language: Go - Size: 5.86 KB - Last synced at: about 2 years ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0
codersguild/gobyexample Fork of mmcgrana/gobyexample
Go by Example
Language: CSS - Size: 5.42 MB - Last synced at: about 2 years ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0
codersguild/truffle Fork of trufflesuite/truffle
The most popular Ethereum development framework
Language: JavaScript - Size: 2.96 MB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
codersguild/SignalR Fork of SignalR/SignalR
Incredibly simple real-time web for .NET
Language: C# - Size: 38 MB - Last synced at: about 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0
codersguild/json5-go Fork of json5/json5-go
The official implementation of JSON5 for the Go language
Language: Go - Size: 4.88 KB - Last synced at: about 2 years ago - Pushed at: about 9 years ago - Stars: 0 - Forks: 0
codersguild/chrome Fork of siomiz/chrome
Docker Automated Build Repository for siomiz/chrome -- Google Chrome via VNC (or via Chrome Remote Desktop)
Language: Shell - Size: 4.32 MB - Last synced at: about 2 years ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0
codersguild/FFmpeg Fork of FFmpeg/FFmpeg
mirror of git://source.ffmpeg.org/ffmpeg.git
Language: C - Size: 172 MB - Last synced at: about 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0
codersguild/hhvm Fork of facebook/hhvm
A virtual machine designed for executing programs written in Hack and PHP.
Language: C++ - Size: 239 MB - Last synced at: about 2 years ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0
codersguild/v8 Fork of v8/v8
The official mirror of the V8 git repository
Language: C++ - Size: 424 MB - Last synced at: about 2 years ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0
codersguild/flux Fork of facebook/flux
Application Architecture for Building User Interfaces
Language: JavaScript - Size: 1.24 MB - Last synced at: about 2 years ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0
codersguild/react Fork of facebook/react
A declarative, efficient, and flexible JavaScript library for building user interfaces.
Language: JavaScript - Size: 108 MB - Last synced at: about 2 years ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0