Giters
#A (awesomo4000)

awesomo4000

Geek Repo

6

followers

16

following

864

stars

Company:<script>alert(1)</script>

Location:<script>alert(1)</script>

Home Page:<script>alert(1)</script>

Github PK Tool:Github PK Tool

#A's repositories

awesome-provable

A curated set of links to formal methods involving provable code.

Stargazers:187Issues:10Issues:2

elm-toastui-markdown

Elm library to use toast-ui wysiwyg markdown editor.

Language:ElmStargazers:4Issues:4Issues:0

MicroPython_ESP32_psRAM_LoBo

MicroPython for ESP32 with psRAM support

Language:CLicense:NOASSERTIONStargazers:3Issues:3Issues:0

autojump

A cd command that learns - easily navigate directories from the command line

Language:PythonLicense:NOASSERTIONStargazers:1Issues:3Issues:0

CSAL

Coresight Access Library

Language:CLicense:NOASSERTIONStargazers:1Issues:3Issues:0

assay

Attempt to write a Python testing framework I can actually stand

Language:PythonStargazers:0Issues:2Issues:0

blackboxprotobuf

Blackbox protobuf is a Burp Suite extension for decoding and modifying arbitrary protobuf messages without the protobuf type definition.

Language:PythonLicense:MITStargazers:0Issues:1Issues:0

burp-suite-http-proxy-history-converter

Python script that converts Burp Suite HTTP proxy history files to CSV or HTML

Language:PythonLicense:MITStargazers:0Issues:2Issues:0

pugixmltodict

Language:CythonStargazers:0Issues:2Issues:0

dotfiles

Because I hate having to copy these around.

Language:ShellLicense:UnlicenseStargazers:0Issues:3Issues:0

dotted

Language:PythonLicense:MITStargazers:0Issues:2Issues:0

elm-online-markdown-editor

An online markdown editor written in Elm.

Language:ElmLicense:MITStargazers:0Issues:1Issues:0

elm-quill

Language:ElmStargazers:0Issues:2Issues:0

ESP32_TFT_library

Full featured TFT library for ESP32 with demo application

Language:CStargazers:0Issues:2Issues:0

ford_kexec

Kernel module kexec for ford (Amazon Fire 7" 2015)

Language:CStargazers:0Issues:3Issues:0

jinja2schema

Type inference for Jinja2 templates

License:NOASSERTIONStargazers:0Issues:0Issues:0

jira

Python JIRA Library is the easiest way to automate JIRA. Support for py27 was dropped on 2019-10-14, do not raise bugs related to it. Show that you care about the future of the library by donating $1, is not about the money!

Language:PythonLicense:BSD-2-ClauseStargazers:0Issues:1Issues:0

kexec-mad

Language:BatchfileStargazers:0Issues:3Issues:0

kexec-module

Light scaffolding for building kexec as a loadable kernel module

Language:CStargazers:0Issues:2Issues:0

kexec-tools-tasssadar

kexec-tools with hardboot support for MultiROM

Language:CLicense:GPL-2.0Stargazers:0Issues:2Issues:0

pfun

Functional, composable, asynchronous, type-safe Python.

Language:PythonLicense:MITStargazers:0Issues:1Issues:0

python-docx

Create and modify Word documents with Python

Language:PythonLicense:MITStargazers:0Issues:1Issues:0

python-docx-template

Use a docx as a jinja2 template

Language:PythonLicense:LGPL-2.1Stargazers:0Issues:1Issues:0

pywebview

Build GUI for your Python program with JavaScript, HTML, and CSS

Language:PythonLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

sanic

Next generation Python web server/framework | Build fast. Run fast.

Language:PythonLicense:MITStargazers:0Issues:2Issues:0

ScreenProfiler

A tool for quickly grabbing webpages, screenshots, and headers.

Language:PythonStargazers:0Issues:2Issues:0

tools

random tools and things

Language:PythonLicense:NOASSERTIONStargazers:0Issues:3Issues:0

vite-elm-template

A default template for building Elm applications using Vite.

Language:ElmStargazers:0Issues:2Issues:0

wcc

The Witchcraft Compiler Collection

Language:CLicense:NOASSERTIONStargazers:0Issues:2Issues:0

xorg-server-1.20.14

xorg-server

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0