Giters
Andrew Brown (andrew-werdna)

andrew-werdna

Geek Repo

83

followers

913

following

1k

stars

Location:Austin, Texas

Twitter:@Altair_Cepheus

Github PK Tool:Github PK Tool

Andrew Brown's starred repositories

awesome-chatgpt-prompts

This repo includes ChatGPT prompt curation to use ChatGPT better.

Language:HTMLLicense:CC0-1.0Stargazers:107585Issues:1394Issues:0

docusaurus

Easy to maintain open source documentation websites.

Language:TypeScriptLicense:MITStargazers:54535Issues:408Issues:3047

ChatGPT

🔮 ChatGPT Desktop Application (Mac, Windows and Linux)

Language:RustLicense:AGPL-3.0Stargazers:51814Issues:435Issues:1025

config

Apps/CLIs/configs I use on macOS/iOS. Fish, Karabiner, Cursor..

Language:ShellLicense:MITStargazers:20439Issues:452Issues:74

netbox

The premier source of truth powering network automation. Open source under Apache 2. Public demo: https://demo.netbox.dev

Language:PythonLicense:Apache-2.0Stargazers:15492Issues:411Issues:10024

runc

CLI tool for spawning and running containers according to the OCI specification

Language:GoLicense:Apache-2.0Stargazers:11630Issues:386Issues:1193

z3

The Z3 Theorem Prover

Language:C++License:NOASSERTIONStargazers:10011Issues:180Issues:5440

albert

A fast and flexible keyboard launcher

Language:C++License:NOASSERTIONStargazers:7163Issues:85Issues:1122

datascript

Immutable database and Datalog query engine for Clojure, ClojureScript and JS

Language:ClojureLicense:EPL-1.0Stargazers:5431Issues:149Issues:315

nofwl

NoFWL Desktop Application

Language:RustLicense:GPL-3.0Stargazers:4249Issues:90Issues:91

prost

PROST! a Protocol Buffers implementation for the Rust Language

Language:RustLicense:Apache-2.0Stargazers:3690Issues:35Issues:485

Ulauncher

Feature rich application Launcher for Linux

Language:PythonLicense:NOASSERTIONStargazers:3573Issues:51Issues:934

runtime-spec

OCI Runtime Specification

Language:GoLicense:Apache-2.0Stargazers:3143Issues:203Issues:235

Templater

A template plugin for obsidian

Language:TypeScriptLicense:AGPL-3.0Stargazers:2999Issues:29Issues:701

rust-memory-container-cs

Rust Memory Container Cheat-sheet

Language:ShellLicense:MITStargazers:2305Issues:27Issues:10

creusot

Creusot helps you prove your code is correct in an automated fashion.

Language:RustLicense:LGPL-2.1Stargazers:1083Issues:24Issues:341

curated-lists

Curated lists on various topics

Stargazers:863Issues:42Issues:3

DrTLAPlus

Dr. TLA+ series - learn an algorithm and protocol, study a specification

Language:TLAStargazers:799Issues:106Issues:0

CreuSAT

CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

Language:RustLicense:MITStargazers:602Issues:8Issues:9

riff

Riff automatically provides external dependencies for Rust projects, with support for other languages coming soon.

Language:RustLicense:MPL-2.0Stargazers:487Issues:9Issues:15

VST

Verified Software Toolchain

Language:CoqLicense:NOASSERTIONStargazers:432Issues:22Issues:301

tool_lists

Links to tools by subject

License:CC0-1.0Stargazers:363Issues:44Issues:0

acl2

ACL2 System and Books as Maintained by the Community

Language:Common LispLicense:NOASSERTIONStargazers:352Issues:35Issues:486

tlaplus-graph-explorer

A static web application to explore and animate a TLA+ state graph.

Language:JavaScriptLicense:MITStargazers:195Issues:4Issues:4

bare-metal-series

Code for the "Bare Metal Series" videos

Language:CStargazers:159Issues:9Issues:3

models

A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilities, and proofs.

Language:AlloyLicense:Apache-2.0Stargazers:122Issues:17Issues:8

mSAT

A modular sat/smt solver with proof output.

Language:OCamlLicense:Apache-2.0Stargazers:96Issues:13Issues:19

SpecifyingSystemsWithContents

Adding a table of contents to Specifying Systems, TLA+.pdf

Stargazers:63Issues:4Issues:0

Formal-Methods-Courses

Here we collect worldwide courses teaching formal methods

Language:ShellStargazers:30Issues:6Issues:57

mdck

Reports broken links found within md files

Language:RustLicense:UnlicenseStargazers:9Issues:2Issues:7