swarajdash

swarajdash's Stars

• idris-lang/Idris2

  A purely functional programming language with first class types

  Language:Idris2.5k631.2k380

• vroland/epdiy

  EPDiy is a driver board for affordable e-Paper (or E-ink) displays.

  Language:C1.4k30231191

• reanimate/reanimate

  Haskell library for building declarative animations based on SVG graphics

  Language:Haskell1.1k288762

• xiaoxiaoflood/firefox-scripts

  userChromeJS / autoconfig.js and extensions

  Language:JavaScript1.1k3723288

• jbuchermn/newm

  Wayland compositor

  Language:Python9633016031

• botwillacceptanything/botwillacceptanything

  The project where anything goes, as long as the code allows it

  Language:JavaScript932283892

• ianthehenry/sd

  a cozy nest for your scripts

  Language:Shell71671116

• Fedjmike/mini-c

  Dr Strangehack, or: how to write a self-hosting C compiler in 10 hours

  Language:C51721552

• tom-james-watson/wikitrivia

  Wikidata as a trivia card game.

  Language:TypeScript49857187

• jgreco/mpv-youtube-quality

  A userscript for MPV that allows you to change youtube video quality (ytdl-format) on the fly

  Language:Lua369132737

• ArmDeveloperEcosystem/microphone-library-for-pico

  Capture audio from a microphone on your Raspberry Pi Pico or any RP2040 based board. 🎤

  Language:C259123054

• turgu1/EPub-InkPlate

  An EPub Reader for the ESP32 based InkPlate e-Ink devices.

  Language:C22817188

• Modos-Labs/Caster

  Open-source electrophoretics display controller. Mirror of https://gitlab.com/zephray/caster

  Language:Verilog1648215

• axvr/photon.vim

  A pair of Vim colour schemes with minimal syntax highlighting.

  Language:Ruby1582321

• everydayanchovies/eink-vnc

  Language:Rust136313

• rain-1/continuations-study-group

  Language:Racket7712211

• kindohm/365tidalpatterns

  365 Tidal patterns in 365 days

  751008

• guysherman/kittymux

  A UI for browsing kitty windows like tmux

  Language:Rust69560

• cwkx/keym

  C tool to control mouse with keyboard for X11

  Language:C65325

• lambda-pi-plus/lambda-pi-plus

  A simple Depdently-Typed Language for Research and Learning

  Language:Haskell58412

• polytypic/f-omega-mu

  Fωμ type checker and compiler

  Language:OCaml51211

• circuitvalley/E-ink_ED060SC4_driver_msp430

  Basic Amazon Kindle Eink Display Driver

  Language:C48807

• sapir/eink-adapter

  E-Ink adapter board

  Language:KiCad Layout23303

• yusufaktepe/rofitr

  Translate text using rofi.

  Language:Shell20102

• vd-rd/project_rorschach

  Open hardware module for interacting with e-ink displays

  19512

• cpenny42/pdx

  A library of useful vanilla-compatible Pure Data patches

  Language:Pure Data16301

• mohitmun/spu.vim

  Super persistent undo (keeps undotree even after file changed outside vim)

  Language:Vim script6310

• Boarders/agda-halting

  Language:Agda5200

• alisezgin/Agda-Work-Ali

  Learning Agda: Working directory for Ali; torturing directory for Dominic

  Language:Agda10

• lazypopl/lazypopl.github.io

  Language:HTML1