intrnl

Prana Adiwira's starred repositories

lazygit

simple terminal UI for git commands

Language:GoMIT51306 282 1941

gitui

Blazing 💥 fast terminal-ui for git written in rust 🦀

Language:RustMIT18316 90 936

slideout

A touch slideout navigation menu for your mobile web apps.

Language:JavaScriptMIT7934 226 231

florisboard

An open-source keyboard for Android which respects your privacy. Currently in early-beta.

Language:KotlinApache-2.05939 105 1891

react-mosaic

A React tiling window manager

Language:TypeScriptNOASSERTION4327 40 124

fast-check

Property based testing framework for JavaScript (like QuickCheck) written in TypeScript

Language:TypeScriptMIT4299 20 547

basic-pitch

A lightweight yet powerful audio-to-MIDI converter with pitch bend detection

Language:PythonApache-2.03368 49 77

lotion

An open-source Notion UI built with Vue 3

Language:VueGPL-3.02790 23 32

vscode-webview-ui-toolkit

A component library for building webview-based extensions in Visual Studio Code.

Language:TypeScriptMIT1997 28 233

HypeScript

🐬 A simplified implementation of TypeScript's type system written in TypeScript's type system

Language:TypeScriptMIT1920 8 3

diffsitter

A tree-sitter based AST difftool to get meaningful semantic diffs

Language:RustMIT1608 11 43

starry-night

Syntax highlighting, like GitHub

Language:JavaScriptMIT1440 7 30

KDiskMark

A simple open-source disk benchmark tool for Linux distros

Language:C++GPL-3.01056 15 105

magmide

A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

Language:Coq811 51 18

signals

A tiny (~1kB minzipped) and extremely fast library for creating reactive observables via functions.

Language:TypeScriptMIT762 6 22

shinigami-eyes

A chrome/firefox addon that highlights transphobic/anti-LGBT and trans-friendly subreddits/facebook pages/groups with different colors.

Language:TypeScriptMIT372 16 129

typeish

A runtime type checker for bash.... in bash. I'm not sorry.

Language:Shell329 30

proposal-json-modules

Proposal to import JSON files as modules

Language:HTMLApache-2.0272 29 17

fuse-native

Multithreaded FUSE bindings for Node JS.

Language:JavaScript203 8 28

styleq

styleQ is a quick, small JavaScript runtime for merging the HTML class names produced by CSS compilers.

Language:JavaScriptMIT187 5 3

node-dbus-next

🚌 The next great dbus library for node

Language:JavaScript156 7 69

spectypes

Fast, compiled, eval-free data validator/transformer

Language:TypeScriptMIT103 4 5

code-tag

noop functions to help formatters and syntax highlighters recognize embedded code

Language:JavaScriptMIT96 2 2

bf

A Brainf*ck interpreter built in the TypeScript type system.

Language:TypeScriptMIT71 10

ForgetMeChunk

Fix (some) minecraft lag spikes

Language:JavaUnlicense46 3 22

proposal-faster-promise-adoption

Reduce the number of microtask ticks required to adopt the state of a promise

Language:HTMLMIT46 14 2

userscript-github-disable-turbolinks

A userscript to disable GitHub turbolinks to force full page navigations

Language:JavaScriptMIT40 3 1

evalish

A maybe slightly safer-ish wrapper around eval Function constructors

Language:TypeScriptMIT26 20

tdewolff-minify

An ES module with an API allowing easy usage of tdewolff's minify within Node.js

Language:JavaScriptMIT6 1 1

node-dbus-notifier

DBus-based desktop notifications with full feature support (NodeJS)

Language:JavaScriptMIT4 1 5