proof-pad

A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github

TypeScript9apache-2.0

4 months ago

vue-signature-pad

🖋 Vue Signature Pad Component

JavaScript511mit

4 months ago

componentssignature-padvue

NotePad

NotePad

Notepad is multi module Jetpack compose note taking app with sketch pad, voice r

Kotlin49gpl-3.0

9 days ago

android-appgithub-actionshilt-dependency-injection

lua-console.nvim

lua-console.nvim

A handy scratch pad / REPL / debug console for Lua development and Neovim explor

Lua36apache-2.0

5 days ago

luaneovim-plugin

stringy

Convert string to camel case, snake case, kebab case / slugify, custom delimiter

Go224mit

7 months ago

betweencamel-casecamelcase

awesome-mac

awesome-mac

Description Known limitations:- Because of macOS bugs, spellchecking does not

JavaScript73699cc0-1.0

4 months ago

appleawesomeawesome-list

XPT2046-touch-pad-driver

A driver for the XPT2046 touch pad controller used in many TFT modules

Python16mit

4 years ago

pad-stream

Pad each line in a stream

JavaScript11mit

last year

pad.zsh-theme

pad.zsh-theme

A concise and colorful ZSH theme

4

5 years ago

shellthemezsh

NumPad

NumPad

Number Pad (inspired by Square)

Swift84mit

6 years ago

applecarthagecocoapods

padding-oracle-attacker

padding-oracle-attacker

🔓 CLI tool and library to execute padding oracle attacks easily, with support f

TypeScript196mit

2 years ago

aescbccipher-block-chaining

Iconology

Iconology

Description Easily import, modify, and export icons—all 100% free and open

Swift129

2 years ago

developmenticonsmacos

InsNet

InsNet Runs Instance-dependent Neural Networks with Padding-free Dynamic Batchin

C++66

3 years ago

deep-learning-librarydynamic-batchingnlp

PJON

PJON (Padded Jittering Operative Network) is an experimental, arduino-compatible

C++2724other

2 years ago