Sparsa
Ph.D. IIT Bombay || Formal Verification Engineer, Intel
Sparsa RoychowdhuryClausthal-Zellerfeld, Germany
Pinned Repositories
.emacs.d
Emacs configuration for me.
Aegis
A free, secure and open source app for Android to manage your 2-step verification tokens.
authenticator
bhim
A tool for reachability analysis of multistack pushdown system with hole bounds.
bup
Very efficient backup system based on the git packfile format, providing fast incremental saves and global deduplication (among and within files, including virtual machine images). Current release is 0.30, and the development branch is master. Please post problems or patches to the mailing list for discussion (see the end of the README below).
buynsell
fd
A simple, fast and user-friendly alternative to 'find'
FunctionalProgrammingLean
This repo contains the work book for function programming in lean
GoogleScholarCopyBibTeX
Copy BibTeX on Google Scholar Search page with a single click
Grants-Program
Web3 Foundation Grants Program
Sparsa's Repositories
Sparsa/.emacs.d
Emacs configuration for me.
Sparsa/Aegis
A free, secure and open source app for Android to manage your 2-step verification tokens.
Sparsa/authenticator
Sparsa/bhim
A tool for reachability analysis of multistack pushdown system with hole bounds.
Sparsa/bup
Very efficient backup system based on the git packfile format, providing fast incremental saves and global deduplication (among and within files, including virtual machine images). Current release is 0.30, and the development branch is master. Please post problems or patches to the mailing list for discussion (see the end of the README below).
Sparsa/buynsell
Sparsa/fd
A simple, fast and user-friendly alternative to 'find'
Sparsa/FunctionalProgrammingLean
This repo contains the work book for function programming in lean
Sparsa/GoogleScholarCopyBibTeX
Copy BibTeX on Google Scholar Search page with a single click
Sparsa/Grants-Program
Web3 Foundation Grants Program
Sparsa/hello
the complete KDE theme
Sparsa/IITBombay-thesis-latex
IITBombay PhD Thesis latex source files
Sparsa/chisel-bootcamp
Generator Bootcamp Material: Learn Chisel the Right Way
Sparsa/haskell-mooc
Haskell MOOC University of Helsinki
Sparsa/Mailspring
:love_letter: A beautiful, fast and maintained fork of @Nylas Mail by one of the original authors.
Sparsa/math2001
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
Sparsa/pdf-continuous-scroll-mode.el
A minor mode for Emacs that implements a two-buffer hack to provide continuous scrolling in pdf-tools
Sparsa/persepolis
Persepolis Download Manager is a GUI for aria2.
Sparsa/plasma-applet-thermal-monitor
Plasma 5 applet for monitoring CPU, GPU and other available temperature sensors.
Sparsa/plasma-pstate
Intel P-state and CPUFreq Manager Widget
Sparsa/plutus-pioneer-program
This repository hosts the lectures of the Plutus Pioneers Program. This program is a training course that the IOG Education Team provides to recruit and train software developers in Plutus, the native smart contract language for the Cardano ecosystem.
Sparsa/riscv-formal
RISC-V Formal Verification Framework
Sparsa/sparsa.github.io
webpage
Sparsa/sparsa_pioneer_program
Sparsa/tchecker
TChecker is an open-source verification tool for timed automata
Sparsa/ThesisPresentation
Sparsa/TLP
Advanced Power Management for Linux
Sparsa/TLPUI
A GTK user interface for TLP written in Python