raghudotcc Goto Github PK

bolt

Binary Optimization and Layout Tool - A linux command-line utility used for optimizing performance of binaries

configs

My most used configurations (rc files and few other configuration/setup scripts)

course-forum

A Minimalist Course Forum [Abandoned]

ddctl

A BDD-based model checker (K ⊨ φ ) (CTL - Computational Tree Logic Only)

ens-ver

fetchyt

A command line utility to decode fmt url encoded stream map.

hpsc_perf

insordvecmap

A simple insertion order container without self-balancing and hashing

kaleidoscope-tutorial

Understanding LLVM IR using kaleidoscope

parse_1735

plam

Simple python utility I wrote to manage my apartment's maintenance accounts. Used pyqt5 for gui and sqlite3 for db

playmusic

A command line utility to play music

powercycle

A command line utility to manage powercycle using rtc

pspeaking

pynq_bootcamp

PYNQ Bootcamp 2019-2022 teaching materials.

pywasm

Toy python to wasm/x86 compiler written in python

rolac

A command line utility to manage user accounts based on role

router-conf-ui

Sample UI Page for Router Configuration Page

sankhya

A lightweight and fast big int library in c++

scratchpad

As the name suggests, this is my scratchpad to try out code to understand a concept or try out new ideas

signless

Anonymous publishing platform

simply-jekyll

A simple yet highly functional jekyll theme with backlinks, wiki-style links, context menu, page preview, sidenote etc

souper

A superoptimizer for LLVM IR

ssh-reverse-copy-id

As the name says, so that you don't have to login to the remote machine and do a ssh-copy-id

stb

stb single-file public domain libraries for C/C++

strutil

A lightweight C/C++ library for string utilities

vegra

A header only wrapper to write out svg using c++

verify

toy programs to understand solvers