akaisiro

akaisiro

Geek Repo

Github PK Tool:Github PK Tool

akaisiro's starred repositories

Language:Jupyter NotebookLicense:Apache-2.0Stargazers:16Issues:0Issues:0

asdf-java

A Java plugin for asdf-vm.

Language:ShellLicense:MITStargazers:444Issues:0Issues:0

asdf

Extendable version manager with support for Ruby, Node.js, Elixir, Erlang & more

Language:ShellLicense:MITStargazers:21298Issues:0Issues:0

sqlyog-community

Webyog provides monitoring and management tools for open source relational databases. We develop easy-to-use MySQL client tools for performance tuning and database management. Webyog's solutions include SQL Diagnostic Manager for MySQL performance optimization and SQLyog for MySQL administration. More than 35,000 companies (including Amazon, IBM, Salesforce, AT&T, eBay, and GE) and 2.5 million users rely on Webyog's solutions to provide valuable insights into their databases. Webyog is an Idera, Inc. company.

Language:C++License:GPL-2.0Stargazers:2163Issues:0Issues:0

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:10953Issues:0Issues:0

jenv

Manage your Java environment

Language:ShellLicense:MITStargazers:5669Issues:0Issues:0

sdkman-cli

The SDKMAN! Command Line Interface

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

jabba

(cross-platform) Java Version Manager

Language:GoStargazers:2947Issues:0Issues:0

gf180mcu-pdk

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

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

SummaryOfLoanSuspension

全国各省市停贷通知汇总

Language:HTMLStargazers:20353Issues: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:1219Issues:0Issues:0

CreuSAT

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

Language:RustLicense:MITStargazers:602Issues: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:9105Issues:0Issues:0
Stargazers:245Issues:0Issues:0

pgfplots

PGFPlots code generator

Language:RustLicense:MITStargazers:118Issues:0Issues:0

pdf-extract

A rust library for extracting content from pdfs

Language:RustStargazers:375Issues:0Issues:0

rustfmt

Format Rust code

Language:RustLicense:Apache-2.0Stargazers:5900Issues: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:8225Issues:0Issues:0

claui

A GUI generator for clap-rs using egui

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

fucking-algorithm

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

Language:MarkdownStargazers:124523Issues:0Issues:0

ls-interactive

Interactive ls command

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

dashmap

Blazing fast concurrent HashMap for Rust.

Language:RustLicense:MITStargazers:2891Issues:0Issues:0
Language:RustStargazers:4Issues:0Issues:0

cargo-fuzz

Command line helpers for fuzzing

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

pointless

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

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

cbmc

C Bounded Model Checker

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

proptest

Hypothesis-like property testing for Rust

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

blog_os

Writing an OS in Rust

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

vesper

Single-address-space capability-based nanokernel

Language:RustStargazers:72Issues:0Issues:0