akito0107

akito0107's Stars

• sozu-proxy/sozu

  Sōzu HTTP reverse proxy, configurable at runtime, fast and safe, built in Rust. It is awesome!

  Language:Rust3.2k197

• model-checking/kani

  Kani Rust Verifier

  Language:Rust2.3k99

• azdavis/millet

  A language server for Standard ML.

  Language:Rust22012

• fsprojects/fantomas

  FSharp source code formatter

  Language:F#779193

• cotowali/litsu

  Language:F#451

• NASA-SW-VnV/ikos

  Static analyzer for C/C++ based on the theory of Abstract Interpretation.

  Language:C++2.8k197

• Code-Hex/dd

  Data Dumper library dumps any data as valid syntax in Go

  Language:Go1878

• tokio-rs/loom

  Concurrency permutation testing tool for Rust.

  Language:Rust2.2k111

• viperproject/prusti-dev

  A static verifier for Rust, based on the Viper verification infrastructure.

  Language:Rust1.6k109

• LPCIC/elpi

  Embeddable Lambda Prolog Interpreter

  Language:Prolog29637

• awslabs/shuttle

  Shuttle is a library for testing concurrent Rust code

  Language:Rust71336

• dtolnay/anyhow

  Flexible concrete Error type built on std::error::Error

  Language:Rust5.7k148

• lalrpop/lalrpop

  LR(1) parser generator for Rust

  Language:Rust3.1k293

• mermaid-js/mermaid

  Generation of diagrams like flowcharts or sequence diagrams from text in a similar manner as markdown

  Language:TypeScript74k6.8k

• c-cube/qcheck

  QuickCheck inspired property-based testing for OCaml.

  Language:OCaml35938

• ory/dockertest

  Write better integration tests! Dockertest helps you boot up ephermal docker images for your Go tests with minimal work.

  Language:Go4.2k244

• go-json-experiment/json

  Experimental implementation of a proposed v2 encoding/json package

  Language:Go42115

• ahmetb/runsd

  Drop-in Service Discovery capabilities for Google Cloud Run.

  Language:Go41223

• ffuf/ffuf

  Fast web fuzzer written in Go

  Language:Go13k1.3k

• Schniz/fnm

  🚀 Fast and simple Node.js version manager, built in Rust

  Language:Rust18.9k482

• grafana/pyroscope

  Continuous Profiling Platform. Debug performance issues down to a single line of code

  Language:Go10.2k625

• nicolasdilley/Gomela

  Tool developped for "Bounded verification of message passing concurrency in Go programs."

  Language:Promela447

• Effect-TS/effect

  An ecosystem of tools to build robust applications in TypeScript

  Language:TypeScript8k260

• junhwi/gobco

  Measuring branch coverage of golang test

  Language:Go273

• idris-lang/Idris2

  A purely functional programming language with first class types

  Language:Idris2.6k380

• GoogleCloudPlatform/protoc-gen-bq-schema

  protoc-gen-bq-schema helps you to send your Protocol Buffer messages to BigQuery.

  Language:Go24881

• rescript-lang/rescript-lang.org

  Official documentation website for the ReScript programming language

  Language:MDX1.9k249

• hashicorp/terraform-cdk

  Define infrastructure resources using programming constructs and provision them using HashiCorp Terraform

  Language:TypeScript4.9k459

• launchbadge/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:Rust13.8k1.3k

• bodil/im-rs

  Assorted immutable collection datatypes for Rust

  Language:Rust1.5k114