Andrew Brown (andrew-werdna)

andrew-werdna

Geek Repo

Location:Austin, Texas

Twitter:@Altair_Cepheus

Github PK Tool:Github PK Tool

Andrew Brown's starred repositories

styleguide

Style guides for Google-originated open-source projects

Language:HTMLLicense:Apache-2.0Stargazers:37021Issues:1276Issues:326

graphql-engine

Blazing fast, instant realtime GraphQL APIs on your DB with fine grained access control, also trigger webhooks on database events.

Language:TypeScriptLicense:Apache-2.0Stargazers:30977Issues:333Issues:6174

awesome-cto

A curated and opinionated list of resources for Chief Technology Officers, with the emphasis on startups

micro

A modern and intuitive terminal-based text editor

engineeringladders

A framework for Engineering Managers

awesome-developer-streams

👩🏿‍💻👨🏾‍💻👩🏼‍💻👨🏽‍💻👩🏻‍💻 Awesome Developers, Streaming

nats.go

Golang client for NATS, the cloud native messaging system.

Language:GoLicense:Apache-2.0Stargazers:5342Issues:170Issues:594

oclint

A static source code analysis tool to improve quality and reduce defects for C, C++ and Objective-C

Language:C++License:BSD-3-ClauseStargazers:3755Issues:127Issues:430

write-you-a-haskell

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

Language:HaskellLicense:MITStargazers:3332Issues:192Issues:50

cognitive-load

🧠 Cognitive Load is what matters

uncrustify

Code beautifier

Language:C++License:GPL-2.0Stargazers:2827Issues:73Issues:1955

nickel

Better configuration for less

Language:RustLicense:MITStargazers:2249Issues:38Issues:578

lilliput

Resize images and animated GIFs in Go

Language:C++License:NOASSERTIONStargazers:1941Issues:52Issues:63

marksman

Write Markdown with code assist and intelligence in the comfort of your favourite editor.

lizard

A simple code complexity analyser without caring about the C/C++ header files or Java imports, supports most of the popular languages.

Language:PythonLicense:NOASSERTIONStargazers:1806Issues:55Issues:256

nixops

NixOps is a tool for deploying to NixOS machines in a network or cloud.

Language:PythonLicense:LGPL-3.0Stargazers:1784Issues:58Issues:855

nix-direnv

A fast, persistent use_nix/use_flake implementation for direnv [maintainer=@Mic92 / @bbenne10]

Language:ShellLicense:MITStargazers:1634Issues:16Issues:175

awesome-awesome-nodejs

🐢🚀 An Awesome list of Awesome lists related to Node.js.

discord-open-source

List of open source communities living on Discord

Language:JavaScriptStargazers:1346Issues:57Issues:0

ferrocene

Source code of Ferrocene, safety-critical Rust toolchain

Language:RustLicense:NOASSERTIONStargazers:1241Issues:23Issues:43

mathlib4

The math library of Lean 4

Language:LeanLicense:Apache-2.0Stargazers:1220Issues:41Issues:379

qalculate-gtk

Qalculate! GTK+ UI

Language:C++License:GPL-2.0Stargazers:931Issues:22Issues:438

conduit

Real world application built with ClojureScript + re-frame

Language:ClojureLicense:MITStargazers:542Issues:15Issues:12

hackernews-personal-blogs

List of Public Blogs of Hacker News users

Language:GoLicense:MITStargazers:336Issues:5Issues:6

mathematics_in_lean

The user home repository for the Mathematics in Lean tutorial.

Language:HTMLStargazers:218Issues:13Issues:0

lean-liquid

💧 Liquid Tensor Experiment

GlimpseOfLean

An introduction to theorem proving in Lean for the impatient.

Language:LeanLicense:Apache-2.0Stargazers:79Issues:6Issues:2

dotfiles

No place like ~. Nix. All. The. Things.

Language:NixLicense:MITStargazers:62Issues:4Issues:2

dotfiles

@ryantm's dotfiles

Language:Emacs LispLicense:CC0-1.0Stargazers:14Issues:3Issues:0