Dixit Sabharwal's repositories
agda2hs-map
TUD - Bachelors of CSE Research Project
chsh-bell-inequality
Influence of noise on correlation between Entangled particles (QuTiP Jupyter Notebook)
digital_diary
just a school project
2019
Materials for Applied Data Analysis CS-401, fall 2019)
agda2hs
Compiling Agda code to readable Haskell
code-examples
Code examples from the book
competitions
monthly coding competitions
FocusedTask
MacOS menu bar todo app built with Electron, React and Redux. It goals is to help you do deep work.
kotlin-logging
Lightweight logging framework for Kotlin. A convenient and performant logging facade.
ktlint-gradle
A ktlint gradle plugin
reee-bot-discord
Discord bot that replies with REEE when triggered.
tribler.github.com
The Tribler.org website
wildebeest
Wildebeest is an ActivityPub and Mastodon-compatible server
wordcraft
✨✍️ Wordcraft is an AI-powered text editor with an emphasis on short story writing
zed
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.