Giters
akaisiro

akaisiro

Geek Repo

0

followers

3

following

350

stars

Github PK Tool:Github PK Tool

akaisiro's starred repositories

UniGetUI

UniGetUI: The Graphical Interface for your package managers. Could be terribly described as a package manager manager to manage your package managers

Language:C#License:MITStargazers:13225Issues:0Issues:0

jenv

Manage your Java environment

Language:ShellLicense:MITStargazers:5874Issues:0Issues:0

sdkman-cli

The SDKMAN! Command Line Interface

Language:GherkinLicense:Apache-2.0Stargazers:6137Issues:0Issues:0

jabba

(cross-platform) Java Version Manager

Language:GoStargazers:3006Issues:0Issues:0

gf180mcu-pdk

PDK for GlobalFoundries' 180nm MCU bulk process technology (GF180MCU).

Language:MakefileLicense:Apache-2.0Stargazers:370Issues:0Issues:0

SummaryOfLoanSuspension

全国各省市停贷通知汇总

Language:HTMLStargazers:20775Issues:0Issues:0

trane-rustlings

Learn Rust with Trane and Rustlings

Language:RustLicense:GPL-3.0Stargazers:13Issues:0Issues:0

lnx

⚡ Insanely fast, 🌟 Feature-rich searching. lnx is the adaptable, typo tollerant deployment of the tantivy search engine.

Language:RustLicense:MITStargazers:1244Issues:0Issues:0

CreuSAT

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

Language:RustLicense:MITStargazers:613Issues:0Issues:0

rathole

A lightweight and high-performance reverse proxy for NAT traversal, written in Rust. An alternative to frp and ngrok.

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

evil-man

Stargazers:250Issues:0Issues:0

pgfplots

PGFPlots code generator

Language:RustLicense:MITStargazers:119Issues:0Issues:0

pdf-extract

A rust library for extracting content from pdfs

Language:RustStargazers:417Issues:0Issues:0

rustfmt

Format Rust code

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

WasmEdge

WasmEdge is a lightweight, high-performance, and extensible WebAssembly runtime for cloud native, edge, and decentralized applications. It powers serverless apps, embedded functions, microservices, smart contracts, and IoT devices.

Language:C++License:Apache-2.0Stargazers:8578Issues:0Issues:0

claui

A GUI generator for clap-rs using egui

Language:RustLicense:GPL-3.0Stargazers:101Issues:0Issues:0

fucking-algorithm

刷算法全靠套路，认准 labuladong 就够了！English version supported! Crack LeetCode, not only how, but also why.

Language:MarkdownStargazers:125878Issues:0Issues:0

ls-interactive

Interactive ls command

Language:RustLicense:MITStargazers:25Issues:0Issues:0

dashmap

Blazing fast concurrent HashMap for Rust.

Language:RustLicense:MITStargazers:3073Issues:0Issues:0

benchmark_rust_embed_database

Language:RustStargazers:4Issues:0Issues:0

cargo-fuzz

Command line helpers for fuzzing

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

pointless

An endless drawing canvas desktop app made with Tauri (Rust) and React 🎨 ✍️

Language:JavaScriptLicense:GPL-3.0Stargazers:1421Issues:0Issues:0

cbmc

C Bounded Model Checker

Language:C++License:NOASSERTIONStargazers:848Issues:0Issues:0

proptest

Hypothesis-like property testing for Rust

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

blog_os

Writing an OS in Rust

Language:HTMLLicense:Apache-2.0Stargazers:15811Issues:0Issues:0

vesper

Single-address-space capability-based nanokernel

Language:RustStargazers:74Issues:0Issues:0

MIRAI

Rust mid-level IR Abstract Interpreter

Language:RustLicense:MITStargazers:1003Issues:0Issues:0

creusot

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

Language:RustLicense:LGPL-2.1Stargazers:1148Issues:0Issues:0

miri

An interpreter for Rust's mid-level intermediate representation

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

kani

Kani Rust Verifier

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