-
Coq-for-Numerical-Analysis Public
Using Coq proof assistant for formal verification of a numerical algorithm used to solve differential equations
TeX UpdatedDec 18, 2024 -
-
-
-
B.Tech Project: Continuation of Progressive Cutting Algorithm.
-
Implementation and Simulation of cutting/tearing of thin membranes to be incorporated in a surgical simulator. Done as a COD310 project.
-
-
Quadcopter-Drone-Modelling Public
COL781 Assignment 2: Modelling a Quadcopter using heirarchical modelling. Rendering using OpenGL/glm
C UpdatedOct 24, 2022 -
-
Monte-Carlo-Ray-Tracer Public
A monte carlo ray tracer using light transport, monte carlo estimator and acceleration data structures. As an assignment for COL829.
C++ UpdatedOct 24, 2022 -
Scene-Rendering-using-OpenGL Public
Walkthrough of a scene rendered using OpenGL with shaders and textures
C++ UpdatedOct 17, 2022 -
-
Traffic-Density-Estimation Public
Traffic Density Estimation using OpenCV (as a part of COP290 project)
C++ UpdatedMar 14, 2022 -
ML-Algorithms Public
Gradient Descent, Stochastic Gradient Descent, Logistic Regression, Gaussian Discriminant Analysis
Python UpdatedJan 11, 2022 -
Explainable-FOL-Tableau Public
SML code of Tableau for First Order Logic
Standard ML UpdatedNov 24, 2021 -
-
ns3-Congestion-Analysis Public
Network Congestion Analysis using Network Simulator 3
C++ UpdatedOct 26, 2021 -
Analytic-Tableau-for-FLASL Public
For checking logical validity of FLASL arguments using tableau method
Standard ML UpdatedOct 21, 2021 -
FLASL-Parsing Public
Parser for a Formal Language for Arguments in Sentential Logic (FLASL)
Standard ML UpdatedOct 21, 2021 -
CoviWars-Multiplayer-Game Public
Repository for CoviWars, A COVID themed multiplayer game
C++ UpdatedSep 25, 2021 -
-
Basic-Network-Analysis Public
Repository for the working of basic networking tools on Linux
C++ UpdatedAug 22, 2021 -
MIPS-Simulator Public
Multicore Simulator for the MIPS instruction set architecture which supports many features and optimisations
C++ UpdatedAug 6, 2021 -
-
Dynamic-Memory-Allocator Public
Dynamic Memory Allocator using different data structures
Java UpdatedAug 3, 2021 -
Digital-Image-Filter Public
VHDL description of a digital image filter made using logic circuits.
VHDL UpdatedJul 30, 2021 -
-
-
A VHDL description of a multi-function digital clock with multi-mode display and adjustable time.
VHDL UpdatedJul 30, 2021
{{ message }}