davidrjenni

David Jenni's repositories

reftools

reftools - refactoring tools for Go

Language:GoBSD-2-Clause145 8 20

A

A - Go tools for Acme.

Language:GoBSD-2-Clause72 9 5

lsif-php

Language Server Indexing Format (LSIF) generator for PHP

Language:PHPMIT8 3 1

scip-php

SCIP Code Intelligence Protocol (SCIP) indexer for PHP

Language:PHPMIT6 4 1

agorn

🚫 [Deprecated] Use A rn (github.com/davidrjenni/A)

Language:GoBSD-2-Clause5 40

agodoc

🚫 [Deprecated] Use A doc (github.com/davidrjenni/A)

Language:GoBSD-2-Clause4 40

gc

gc - simple Go compiler

Language:GoBSD-3-Clause2 20

Guru

🚫 [Deprecated] Use A <cmd> (github.com/davidrjenni/A)

Language:GoBSD-2-Clause2 30

pg

pg - toy parser generator

Language:GoBSD-3-Clause2 2 10

files

dotfiles, dockerfiles and shell scripts

Language:Objective-CBSD-2-Clause1 3 1

lib

lib - random packages

Language:GoBSD-2-Clause1 30

blog.drj.tools

Language:HTMLBSD-2-Clause000

boogie-docs

Documentation for the Boogie IVL and related technologies

Language:Python020

cmd

some cli tools

Language:GoBSD-2-Clause030

framework

The Laravel Framework.

Language:PHPMIT000

gomodifytags

Go tool to modify struct field tags

Language:GoBSD-3-Clause030

lang

Language:GoBSD-2-Clause000

plan9port

Plan 9 from User Space

Language:CNOASSERTION030

uuid

:snowflake: A PHP library for generating universally unique identifiers (UUIDs).

Language:PHPMIT010