sparsa Goto Github PK

.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'

googlescholarcopybibtex

Copy BibTeX on Google Scholar Search page with a single click

grants-program

Web3 Foundation Grants Program

hello

the complete KDE theme

iitbombay-thesis-latex

IITBombay PhD Thesis latex source files

mailspring

:love_letter: A beautiful, fast and maintained fork of @Nylas Mail by one of the original authors.

pdf-continuous-scroll-mode.el

A minor mode for Emacs that implements a two-buffer hack to provide continuous scrolling in pdf-tools

persepolis

Persepolis Download Manager is a GUI for aria2.

plasma-applet-thermal-monitor

Plasma 5 applet for monitoring CPU, GPU and other available temperature sensors.

plasma-pstate

Intel P-state and CPUFreq Manager Widget

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.github.io

webpage

sparsa_pioneer_program

tchecker

TChecker is an open-source verification tool for timed automata

tlp

Advanced Power Management for Linux

tlpui

A GTK user interface for TLP written in Python