Giters
Devamardeep Hayatpur (hayatpur)

hayatpur

Geek Repo

5

followers

0

following

152

stars

Github PK Tool:Github PK Tool

Devamardeep Hayatpur's starred repositories

Hyprland

Hyprland is an independent, highly customizable, dynamic tiling Wayland compositor that doesn't sacrifice on its looks.

Language:C++License:BSD-3-ClauseStargazers:19003Issues:82Issues:5360

marker

Convert PDF to markdown quickly with high accuracy

Language:PythonLicense:GPL-3.0Stargazers:15539Issues:65Issues:193

omnivore

Omnivore is a complete, open source read-it-later solution for people who like reading.

Language:TypeScriptLicense:AGPL-3.0Stargazers:12059Issues:44Issues:1224

z3

The Z3 Theorem Prover

Language:C++License:NOASSERTIONStargazers:10074Issues:179Issues:5466

slides

Terminal based presentation tool

Language:GoLicense:MITStargazers:9532Issues:63Issues:120

nougat

Implementation of Nougat Neural Optical Understanding for Academic Documents

Language:PythonLicense:MITStargazers:8613Issues:64Issues:203

lite

A lightweight text editor written in Lua

Language:LuaLicense:MITStargazers:7358Issues:103Issues:233

glazewm

GlazeWM is a tiling window manager for Windows inspired by i3wm.

Language:RustLicense:GPL-3.0Stargazers:4578Issues:34Issues:372

TabFS

🗄 Mount your browser tabs as a filesystem.

Language:JavaScriptLicense:GPL-3.0Stargazers:3813Issues:54Issues:66

notcurses

blingful character graphics/TUI library. definitely not curses.

Language:CLicense:NOASSERTIONStargazers:3442Issues:35Issues:2068

apps-android-wikipedia

📱The official Wikipedia app for Android!

Language:KotlinLicense:Apache-2.0Stargazers:2297Issues:93Issues:0

djot

A light markup language

Language:HTMLLicense:MITStargazers:1646Issues:29Issues:187

uiua

A stack-based array programming language

Language:RustLicense:MITStargazers:1501Issues:24Issues:208

HPI

Human Programming Interface 🧑👽🤖

Language:PythonLicense:MITStargazers:1428Issues:16Issues:63

juliamono

repository for JuliaMono, a monospaced font with reasonable Unicode support.

Language:CSSLicense:OFL-1.1Stargazers:1378Issues:25Issues:198

dropflow

A CSS layout engine

Language:TypeScriptLicense:MITStargazers:1237Issues:11Issues:21

HumbleUI

Clojure Desktop UI framework

Language:ClojureLicense:Apache-2.0Stargazers:1235Issues:48Issues:61

RAGxplorer

Open-source tool to visualise your RAG 🔮

Language:Jupyter NotebookLicense:MITStargazers:1047Issues:11Issues:17

Barliman

Prototype smart text editor

Language:SchemeLicense:MITStargazers:1042Issues:50Issues:8

BQN

An APL-like programming language

Language:BQNLicense:ISCStargazers:870Issues:32Issues:35

theta

Language:JavaScriptLicense:NOASSERTIONStargazers:744Issues:26Issues:12

ublock-origin-filters

My personal and very opinionated uBlock Origin filters

License:MITStargazers:464Issues:9Issues:1

recipy

Effortless method to record provenance in Python

Language:PythonLicense:Apache-2.0Stargazers:437Issues:13Issues:183

candy

🍭 A sweet, functional programming language that is robust, minimalistic, and expressive.

Language:RustLicense:MITStargazers:313Issues:3Issues:161

webgl_fonts

WebGL font rendering

Language:JavaScriptStargazers:286Issues:14Issues:10

meshes

A repository with a variety of meshes with minimal licensing requirements.

Language:PythonStargazers:220Issues:5Issues:0

Polytope

Experimental, recursively-embeddable, domain-specific editors and text editor

Language:HTMLLicense:MITStargazers:76Issues:2Issues:1

wordplay

An accessible, language-inclusive programming language and IDE for creating interactive typography on the web.

Language:TypeScriptLicense:NOASSERTIONStargazers:56Issues:2Issues:397

vptree-draw

Space partitioning structures visualization

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

safedocs

Artifacts from the DARPA-funded SafeDocs research program

Language:PythonLicense:Apache-2.0Stargazers:21Issues:7Issues:5