Beast code in Giters

akaisiro's starred repositories

awesome-idris

𝛌 Awesome Idris resources

Language:Idris39100

software-foundations

Software Foundations in Idris

Language:IdrisMIT45200

PLFA-zh

《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版

Language:HaskellCC-BY-4.020900

learn-you-an-agda

Learn you an Agda (and achieve enlightenment)

Language:AgdaBSD-3-Clause31400

raft-zh_cn

Raft一致性算法论文的中文翻译

613100

awesome-algorithm-question-solution

LeetCode，《剑指offer》中的算法题的题目和解法以及常见算法的实现

Language:C++MIT113300

JS-Sorting-Algorithm

一本关于排序算法的 GitBook 在线书籍《十大经典排序算法》，多语言实现。

Language:Java514600

Statistical-Learning-Method_Code

手写实现李航《统计学习方法》书中全部算法

Language:Python1106600

leftwm

A tiling window manager for Adventurers

Language:RustMIT287300

tilix

A tiling terminal emulator for Linux using GTK+ 3

Language:DMPL-2.0542100

waydroid

Waydroid uses a container-based approach to boot a full Android system on a regular GNU/Linux system like Ubuntu.

Language:PythonGPL-3.0801300

anbox

Anbox is a container-based approach to boot a full Android system on a regular GNU/Linux system

Language:C++GPL-3.0890300

launcher

Application launcher.

Language:C++GPL-3.05100

rofi

Rofi: A window switcher, application launcher and dmenu replacement

Language:CNOASSERTION1330400

Ulauncher

Feature rich application Launcher for Linux

Language:PythonNOASSERTION372400

AppImageLauncher

Helper application for Linux distributions serving as a kind of "entry point" for running and integrating AppImages

Language:C++MIT564100

folly

An open-source C++ library developed and used at Facebook.

Language:C++Apache-2.02843500

advent-of-code

🎄 This is my set of awesome solutions for the Advent of Code puzzles

Language:RustApache-2.0600

darling

A Rust proc-macro attribute parser

Language:RustMIT102200

AdventOfCodeSolutions

My Advent Of Code Solutions

Language:Kotlin700

elan

The Lean version manager

Language:RustApache-2.031600

YesPlayMusic

高颜值的第三方网易云播放器，支持 Windows / macOS / Linux :electron:

Language:VueMIT2955900

tauri

Build smaller, faster, and more secure desktop and mobile applications with a web frontend.

Language:RustApache-2.08508400

bfc

An industrial-grade brainfuck compiler

Language:RustGPL-2.050800

awib

a brainfuck compiler written in brainfuck

Language:BrainfuckGPL-3.053900

brainfuck

Collection of BF interpreters/translators in C/C++/ASM/JS/Python/Rust + others

Language:RustMIT24900

seatunnel

SeaTunnel is a next-generation super high-performance, distributed, massive data integration tool.

Language:JavaApache-2.0803600

openraft

rust raft with improvements

Language:RustApache-2.0140000

awesome-explainable-graph-reasoning

A collection of research papers and software related to explainability in graph machine learning.

Apache-2.0195000

z3

The Z3 Theorem Prover

Language:C++NOASSERTION1038300