Giters
shaobo-he-aws

shaobo-he-aws

Geek Repo

2

followers

1

following

31

stars

Github PK Tool:Github PK Tool

shaobo-he-aws's starred repositories

sea-orm

🐚 An async & dynamic ORM for Rust

Language:RustLicense:Apache-2.0Stargazers:6828Issues:0Issues:0

sqlx

🧰 The Rust SQL Toolkit. An async, pure Rust SQL crate featuring compile-time checked queries without a DSL. Supports PostgreSQL, MySQL, and SQLite.

Language:RustLicense:Apache-2.0Stargazers:12758Issues:0Issues:0

idiomatic-rust

🦀 A peer-reviewed collection of articles/talks/repos which teach concise, idiomatic Rust.

Language:RustStargazers:6300Issues:0Issues:0

charon

Interface with the rustc compiler for the purpose of program verification

Language:RustLicense:Apache-2.0Stargazers:68Issues:0Issues:0

xtdb

An immutable SQL database for application development and time-travel data compliance. Developed by @juxt

Language:ClojureLicense:MPL-2.0Stargazers:2517Issues:0Issues:0

hammurabi

Language:PrologLicense:MITStargazers:7Issues:0Issues:0

spicedb

Open Source, Google Zanzibar-inspired permissions database to enable fine-grained authorization for customer applications

Language:GoLicense:Apache-2.0Stargazers:4860Issues:0Issues:0

Stirling-PDF

#1 Locally hosted web application that allows you to perform various operations on PDF files

Language:JavaLicense:GPL-3.0Stargazers:38399Issues:0Issues:0

pest

The Elegant Parser

Language:RustLicense:Apache-2.0Stargazers:4549Issues:0Issues:0

test.check

QuickCheck for Clojure

Language:ClojureLicense:EPL-1.0Stargazers:1117Issues:0Issues:0

aws-api

AWS, data driven

Language:ClojureLicense:Apache-2.0Stargazers:725Issues:0Issues:0

surrealdb

A scalable, distributed, collaborative, document-graph database, for the realtime web

Language:RustLicense:NOASSERTIONStargazers:26476Issues:0Issues:0

aeneas

A verification toolchain for Rust programs

Language:OCamlLicense:Apache-2.0Stargazers:169Issues:0Issues:0

mutate

Inject bugs into your programs!

Language:RacketLicense:NOASSERTIONStargazers:7Issues:0Issues:0

aws-iot-device-sdk-python-v2

Next generation AWS IoT Client SDK for Python using the AWS Common Runtime

Language:PythonLicense:Apache-2.0Stargazers:398Issues:0Issues:0

vscode-cedar

Cedar policy language extension for Visual Studio Code

Language:TypeScriptLicense:Apache-2.0Stargazers:15Issues:0Issues:0

pikachu-tikz

⚡ The pikachu meme in TikZ.

Language:TeXLicense:NOASSERTIONStargazers:6Issues:0Issues:0

sample-stores

Examples of OpenFGA models + store content

License:Apache-2.0Stargazers:28Issues:0Issues:0

dafny

Dafny is a verification-aware programming language

Language:C#License:NOASSERTIONStargazers:2863Issues:0Issues:0

bolero

property testing and verification front-end for Rust

Language:CLicense:MITStargazers:179Issues:0Issues:0

fuzz-introspector

Fuzz Introspector -- introspect, extend and optimise fuzzers

Language:PythonLicense:Apache-2.0Stargazers:361Issues:0Issues:0

flowistry

Flowistry is an IDE plugin for Rust that helps you focus on relevant code.

Language:RustLicense:MITStargazers:1868Issues:0Issues:0

cedar-agent

Cedar-agent is the easiest way to deploy and run Cedar

Language:RustLicense:Apache-2.0Stargazers:131Issues:0Issues:0

cedar-spec

Definitional implementation of Cedar language and utilities for DRT

Language:LeanLicense:Apache-2.0Stargazers:77Issues:0Issues:0

cedar-examples

Some examples of using the Cedar language to specify authorization

Language:RustLicense:Apache-2.0Stargazers:65Issues:0Issues:0

cedar

Implementation of the Cedar Policy Language

Language:RustLicense:Apache-2.0Stargazers:791Issues:0Issues:0

prettier

Prettier is an opinionated code formatter.

Language:JavaScriptLicense:MITStargazers:48931Issues:0Issues:0

fmt

A code formatter for Racket

Language:RacketLicense:NOASSERTIONStargazers:72Issues:0Issues:0

miette

Fancy extension for std::error::Error with pretty, detailed diagnostic printing.

Language:RustLicense:Apache-2.0Stargazers:1898Issues:0Issues:0

codespan

Beautiful diagnostic reporting for text-based programming languages.

Language:RustLicense:Apache-2.0Stargazers:1070Issues:0Issues:0