Giters
shaobo-he-aws

shaobo-he-aws

Geek Repo

1

followers

1

following

32

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:6522Issues: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:12263Issues:0Issues:0

idiomatic-rust

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

Language:RustStargazers:6087Issues:0Issues:0

charon

Interface with the rustc compiler for the purpose of program verification

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

xtdb

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

Language:ClojureLicense:MPL-2.0Stargazers:2479Issues: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:4669Issues:0Issues:0

Stirling-PDF

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

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

pest

The Elegant Parser

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

test.check

QuickCheck for Clojure

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

aws-api

AWS, data driven

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

surrealdb

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

Language:RustLicense:NOASSERTIONStargazers:25994Issues:0Issues:0

aeneas

A verification toolchain for Rust programs

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

mutate

Inject bugs into your programs!

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

aws-iot-device-sdk-js-v2

Next generation AWS IoT Client SDK for Node.js using the AWS Common Runtime

Language:TypeScriptLicense:Apache-2.0Stargazers:209Issues: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:393Issues: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:21Issues:0Issues:0

dafny

Dafny is a verification-aware programming language

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

bolero

property testing and verification front-end for Rust

Language:CLicense:MITStargazers:169Issues:0Issues:0

fuzz-introspector

Fuzz Introspector -- introspect, extend and optimise fuzzers

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

flowistry

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

Language:RustLicense:MITStargazers:1839Issues:0Issues:0

cedar-agent

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

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

cedar-spec

Definitional implementation of Cedar language and utilities for DRT

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

cedar-examples

Some examples of using the Cedar language to specify authorization

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

cedar

Implementation of the Cedar Policy Language

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

prettier

Prettier is an opinionated code formatter.

Language:JavaScriptLicense:MITStargazers:48577Issues: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:1837Issues:0Issues:0