Raghu (raghudotcc)

raghudotcc

User data from Github https://github.com/raghudotcc

Company:@raghudotcc

Home Page:raghu.cc

GitHub:@raghudotcc

Raghu's repositories

simply-jekyll

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

scratchpad

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

Language:HTMLStargazers:10Issues:2Issues:0

ddctl

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

Language:PythonStargazers:6Issues:1Issues:0
Language:TypeScriptStargazers:2Issues:1Issues:0

fetchyt

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

Language:C++License:MITStargazers:1Issues:0Issues:0

souper

A superoptimizer for LLVM IR

Language:C++License:Apache-2.0Stargazers:1Issues:0Issues:0

pywasm

Toy python to wasm/x86 compiler written in python

Language:JavaScriptStargazers:0Issues:0Issues:0

rolac

A command line utility to manage user accounts based on role

Language:C++License:MITStargazers:0Issues:0Issues:0

signless

Anonymous publishing platform

Language:JavaScriptStargazers:0Issues:0Issues:0

strutil

A lightweight C/C++ library for string utilities

Language:CLicense:MITStargazers:0Issues:1Issues:0

BOLT

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

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

configs

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

Language:Vim scriptStargazers:0Issues:0Issues:0

course-forum

A Minimalist Course Forum [Abandoned]

Language:PHPStargazers:0Issues:1Issues:0
Language:PythonStargazers:0Issues:1Issues:0
Language:C++Stargazers:0Issues:0Issues:0

InsOrdVecMap

A simple insertion order container without self-balancing and hashing

Language:C++License:MITStargazers:0Issues:0Issues:0

kaleidoscope-tutorial

Understanding LLVM IR using kaleidoscope

Language:C++License:MITStargazers:0Issues:0Issues:0
Language:C++Stargazers:0Issues:1Issues:0

plam

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

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

playmusic

A command line utility to play music

Language:C++License:MITStargazers:0Issues:0Issues:0

powercycle

A command line utility to manage powercycle using rtc

Language:C++License:MITStargazers:0Issues:0Issues:0

PYNQ_Bootcamp

PYNQ Bootcamp 2019-2022 teaching materials.

Language:Jupyter NotebookStargazers:0Issues:0Issues:0

router-conf-ui

Sample UI Page for Router Configuration Page

Language:HTMLLicense:MITStargazers:0Issues:1Issues:0

sankhya

A lightweight and fast big int library in c++

Language:C++License:MITStargazers:0Issues:0Issues:0

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

Language:C++License:MITStargazers:0Issues:0Issues:0

stb

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

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

torch-mlir

The Torch-MLIR project aims to provide first class support from the PyTorch ecosystem to the MLIR ecosystem.

License:NOASSERTIONStargazers:0Issues:0Issues:0

vegra

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

Language:C++License:MITStargazers:0Issues:1Issues:0

verify

toy programs to understand solvers

Language:PythonLicense:MITStargazers:0Issues:1Issues:0