Pinned Repositories
Automata-and-Compiler-Design
Lexer and Parser, written as a part of the IT250 course assignments
Edmonds-Algorithm
A Python implementation of Edmond's blossom algorithm to find maximum matchings in general graphs
Fuchsia-traceroute
A C++ implementation of the traceroute utility in Fuchsia OS
Hello-world-plugin
A simple Hello-World plugin that works with the Static Analyzer in GCC (>=11) and can be used while building the Linux Kernel
Leader-Election
An implementation of Leader election algorithms in Erlang
Mathy-Compiler
A compiler to generate OpenMP programs for equations involving constructs like Forall, Summation, etc., frequently used in the scientific domain
Space-Game
A multiplayer game using Phaser and Socket.io
peepul
Certified implmentations of mergeable replicated data types
parafuzz
Concurrency property fuzzing tool for multicore OCaml programs
Project-Management-Portal
A sample project management system using GraphQL, Node.js and React.js for learning purposes
adharshkamath's Repositories
adharshkamath/Mathy-Compiler
A compiler to generate OpenMP programs for equations involving constructs like Forall, Summation, etc., frequently used in the scientific domain
adharshkamath/Edmonds-Algorithm
A Python implementation of Edmond's blossom algorithm to find maximum matchings in general graphs
adharshkamath/Space-Game
A multiplayer game using Phaser and Socket.io
adharshkamath/Hello-world-plugin
A simple Hello-World plugin that works with the Static Analyzer in GCC (>=11) and can be used while building the Linux Kernel
adharshkamath/Leader-Election
An implementation of Leader election algorithms in Erlang
adharshkamath/Maze-Runner
A popular maze runner game implemented using C++ and OpenGL
adharshkamath/Angular-CRUD
CRUD app to manage employee details and appraisals
adharshkamath/adharshkamath.github.io
adharshkamath/Concurrent-Event-Server
A simple event server in Erlang
adharshkamath/DiffEqOperators.jl
Linear operators for discretizations of differential equations and scientific machine learning (SciML)
adharshkamath/dotfiles
adharshkamath/ENGINEER-NITK.github.io
Engineer is the Annual Technical Symposium of NITK Surathkal and is one of the largest of its kind in India.
adharshkamath/Erlang-Raft
A Raft implementation for Erlang and Elixir that strives to be efficient and make it easier to use multiple Raft clusters in a single system.
adharshkamath/ErlangVector
A logging module in Erlang for distributed systems
adharshkamath/Face-Detection-App
adharshkamath/heroku-buildpack-c
C Language Pack
adharshkamath/irmin
Irmin is a distributed database that follows the same design principles as Git
adharshkamath/julia
The Julia Programming Language
adharshkamath/JuliaSyntax.jl
A Julia frontend, written in Julia
adharshkamath/K-connected-components
C++ implementation of an algorithm to find K-edge connected components using graph decomposition
adharshkamath/Knowly
A one stop collection of newsletters, blogs, websites and much more curated by Web Club Members.
adharshkamath/Mapreduce-Decision-Trees
adharshkamath/ocaml
The core OCaml system: compilers, runtime system, base libraries
adharshkamath/ocaml-multicore
Multicore OCaml
adharshkamath/pcminer
PC-miner tool for program chairs
adharshkamath/rebar3_template_riak_core_lite
A rebar3 template for riak_core_lite applications
adharshkamath/shiviz
A tool to visualize distributed system logs
adharshkamath/synthesis-stuff
adharshkamath/UCX.jl
adharshkamath/WebClubRecruitmentTasks