hackaugusto Goto Github PK

a-mir-formality

a model of MIR and the Rust type/trait system

ale

Check syntax in Vim asynchronously and fix files, with Language Server Protocol (LSP) support

aur-actool-git

aur package for actool, actool, the application container tool

aur-diamond-git

aur-perftools-git

AUR package for perftools. Performance analysis tools based on Linux perf_events (aka perf) and ftrace

aur-pyright

aur-python2-bucky-git

aur-python2-carbon-git

aur-python2-graphite-web-git

AUR package for graphite. A highly scalable real-time graphing system

aur-python2-llvmmath-git

aur-python2-whisper-git

aur-statsite-git

bear

Build EAR

combine

A parser combinator library for Rust

context

contracts.py

Contracts for python

cpython

The Python programming language

crypto

Cryptographic primitives used in Polygon Miden rollup

dafny

Dafny is a verification-aware programming language

dataclasses

deoplete-jedi

deoplete.nvim source for Python

deoplete.nvim

:stars: Dark powered asynchronous completion framework for neovim/Vim8

devtools

https://git.archlinux.org/devtools.git/

django-admin-decorators

Extra decorators for django admin

django-dag

Basic portable Directed Acyclic Graph application for Django

django_minifier

wip/old project: django template tags to minify css/js

docker-postgresql

Dockerfile to build a PostgreSQL container image which can be linked to other containers.

dotfiles

dotfiles

gevent

Coroutine-based concurrency library for Python

go-ethereum

Official Go implementation of the Ethereum protocol