Drew's repositories
GitPython
GitPython is a python library used to interact with Git repositories.
elaboration-zoo
Minimal implementations for dependent type checking and elaboration
asyncssh
AsyncSSH is a Python package which provides an asynchronous client and server implementation of the SSHv2 protocol on top of the Python asyncio framework.
fparser
This project maintains and develops a Fortran parser called fparser2 written purely in Python which supports Fortran 2003 and some Fortran 2008. A legacy parser fparser1 is also available but is not supported. The parsers were originally part of the f2py project by Pearu Peterson.
1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
term-mouse
A simple mouse reporter
plcc
A Programming Languages Compiler Compiler
Idris2
A purely functional programming language with first class types
text-trie
An efficient finite map from Text to values, based on bytestring-trie.