Beast code in Giters

Shahriar Heidrich's starred repositories

pytest-annotated

Allow use of Annotated function arguments in pytest tests for resolving fixtures

Language:PythonMIT200

nvim-treesitter

Nvim Treesitter configurations and abstraction layer

Language:SchemeApache-2.01055500

d2-vim

The Vim plugin for D2 files

Language:Vim ScriptBSD-3-Clause6700

pgroll

PostgreSQL zero-downtime migrations made easy

Language:GoApache-2.0336200

cosmopolitan

build-once run-anywhere c library

Language:CISC1791500

pyright

Static Type Checker for Python

Language:PythonNOASSERTION1319000

pyright-type-completeness

Composite Action to Verify Type Completeness with pyright

MIT100

sphinx-autoapi

A new approach to API documentation in Sphinx.

Language:PythonMIT43200

pymv

CLI wrapper of rope's module moving functionality

Language:Python200

sphinx-paramlinks

add HTML links and targets to the :param: tags within Sphinx Python docstrings

Language:PythonNOASSERTION1500

sphinx-autodoc2

A Sphinx extension that automatically generates API documentation for your Python packages.

Language:PythonMIT7900

mkdocstrings

:blue_book: Automatic documentation from sources, for MkDocs.

Language:PythonISC169500

ropecli

command line tool that uses the library 'rope' to support python refactorings

Language:PythonApache-2.0900

tla

A Dockerfile for building the TLA+ tools

Language:DockerfileNOASSERTION1300

tla2json

Convert TLA+ output (and values) into JSON

Language:ScalaApache-2.02400

pldb

PLDB: a Programming Language DataBase

Language:JavaScript73100

xarray

N-D labeled arrays and datasets in Python

Language:PythonApache-2.0357200

xarray-einstats

Stats, linear algebra and einops for xarray

Language:PythonNOASSERTION6100

python-tree-sitter-types

Generate python types for tree-sitter parsers

Language:Python600

py-d2

A fully typed python interface for building .d2 graph files for use with the D2 engine.

Language:PythonMIT5700

hatch

Modern, extensible Python project management

Language:PythonMIT594000

renovate

Home of the Renovate CLI: Cross-platform Dependency Automation by Mend.io

Language:TypeScriptAGPL-3.01726800

cursorless

Don't let the cursor slow you down

Language:TypeScriptMIT113100

tree-sitter-tlaplus

A tree-sitter grammar for TLA⁺ and PlusCal

Language:CMIT5700

tlauc

Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa

Language:RustMIT2600

d2

D2 is a modern diagram scripting language that turns text to diagrams.

Language:GoMPL-2.01662100

exception-control

Perform limited static analysis for uncaught exceptions in a Python file.

Language:PythonGPL-2.0700

pyrsistent

Persistent/Immutable/Functional data structures for Python

Language:PythonMIT202600

py-call-graph

pycallgraph is a Python module that creates call graphs for Python programs.

Language:PythonGPL-2.06600

sqlalchemy-utc

SQLAlchemy type to store aware datetime values

Language:PythonMIT10100