codersguild/Software-Analysis-PAVT

Stars
33
Rank 763,644 (Top 16 %)
Language Boogie
License
Apache License 2.0
Created almost 4 years ago
Updated about 1 year ago

codersguild/Software-Analysis-PAVT

codersguild

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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.

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