navijation Goto Github PK

blackjack-optimizer

Determining optimal moves for variants of Blackjack in Rust

buf

A new way of working with Protocol Buffers.

counterfeiter

A tool for generating self-contained, type-safe test doubles in go

cs125-research

defira-sdk

🛠 An SDK for issuing trades against Defira

defira-sdk-core

⚙️ Code shared across TypeScript Defira SDK versions

discordeventplanner

Discord bot server for planning events and issuing notifications

durationlint

go linter that disallows usage of untyped literals and constants as time.Duration

exhaustive

Check exhaustiveness of switch statements of enum-like constants.

ginkgolinter

golang linter for ginkgo and gomega

gitignore

A collection of useful .gitignore templates

go-directionless

Analyzer to detect whether directive comments for other analyzers are being misapplied

go-exhaustruct

golang analyzer that finds structures with uninitialized fields

go-returncheck

Go analyzer that requires return values be used or explicitly ignored

go-structful

Go analyzer that reports missing fields in struct literals, tailored towards customization and large projects.

golangci-lint

Fast linters runner for Go

golangci-lint-action

Official GitHub action for golangci-lint from its authors

hashcat

World's fastest and most advanced password recovery utility

hummingbot

Hummingbot is open source software that helps you build trading bots that run on any exchange or blockchain

identify

File identification library for Python

pants

The Pants Build System

plutus-shared-bank

Shared bank account smart contract for Cardano network, written in Plutus

protoc-gen-validate

Protocol Buffer Validation - Checkout the new `protovalidate` project

random-name

rules_go

Go rules for Bazel

scie-pants

Protects your Pants from the elements.

shellutilities

Simple command line tools that come in handy from time to time

stillingerwebermdmc

Project on usage of Markov Chain Monte Carlo Simulations to Study Phase Transitions of Stillinger-Weber Silicon Potential

systemprogramming

UIUC Crowd-Sourced System Programming Book

zku-application-assignments

Assignments for zkDAO ZKU application