Giters
Aida Torajiro (aidatorajiro)

aidatorajiro

Geek Repo

102

followers

117

following

125

stars

Location:Japan

Home Page:https://aidatorajiro.dev/

Github PK Tool:Github PK Tool

Aida Torajiro's starred repositories

youtube-dl

Command-line program to download videos from YouTube.com and other video sites

Language:PythonLicense:UnlicenseStargazers:130888Issues:2201Issues:26589

bevy

A refreshingly simple data-driven game engine built in Rust

Language:RustLicense:Apache-2.0Stargazers:34765Issues:296Issues:5233

restic

Fast, secure, efficient backup program

Language:GoLicense:BSD-2-ClauseStargazers:25475Issues:240Issues:2615

openzeppelin-contracts

OpenZeppelin Contracts is a library for secure smart contract development.

Language:JavaScriptLicense:MITStargazers:24654Issues:639Issues:1896

onnx

Open standard for machine learning interoperability

Language:PythonLicense:Apache-2.0Stargazers:17523Issues:438Issues:2776

wgpu

A cross-platform, safe, pure-Rust graphics API.

Language:RustLicense:Apache-2.0Stargazers:12005Issues:111Issues:2496

HVM

A massively parallel, optimal functional runtime in Rust

Language:CudaLicense:Apache-2.0Stargazers:10384Issues:98Issues:186

misskey

🌎 An interplanetary microblogging platform 🚀

Language:TypeScriptLicense:AGPL-3.0Stargazers:9763Issues:97Issues:7061

Geyser

A bridge/proxy allowing you to connect to Minecraft: Java Edition servers with Minecraft: Bedrock Edition.

Language:JavaLicense:MITStargazers:4674Issues:93Issues:3327

lxd

Powerful system container and virtual machine manager

Language:GoLicense:AGPL-3.0Stargazers:4300Issues:155Issues:5327

mui-x

MUI X: Build complex and data-rich applications using a growing list of advanced React components, like the Data Grid, Date and Time Pickers, Charts, and more!

Language:TypeScriptStargazers:4002Issues:58Issues:5853

Kind1

A modern proof language

Language:JavaScriptLicense:MITStargazers:3533Issues:74Issues:213

xmonad

The core of xmonad, a small but functional ICCCM-compliant tiling window manager

Language:HaskellLicense:BSD-3-ClauseStargazers:3324Issues:80Issues:305

falso

All the Fake Data for All Your Real Needs 🙂

Language:TypeScriptLicense:MITStargazers:3178Issues:14Issues:142

igel

a delightful machine learning tool that allows you to train, test, and use models without writing code

Language:PythonLicense:MITStargazers:3081Issues:65Issues:47

nix

Rust friendly bindings to *nix APIs

Language:RustLicense:MITStargazers:2589Issues:29Issues:693

agda

Agda is a dependently typed programming language / interactive theorem prover.

Language:HaskellLicense:NOASSERTIONStargazers:2436Issues:62Issues:5460

ante

A safe, easy systems language

Language:RustLicense:MITStargazers:1886Issues:32Issues:138

apple-notes-liberator

Free your Apple Notes data from Notes.app

Language:JavaLicense:MITStargazers:964Issues:11Issues:39

obelisk

Functional reactive web and mobile applications, with batteries included.

Language:HaskellLicense:BSD-3-ClauseStargazers:945Issues:45Issues:422

Interaction-Calculus

A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.

Language:RustLicense:MITStargazers:741Issues:40Issues:8

freetype

Official mirror of https://gitlab.freedesktop.org/freetype/freetype

Language:CLicense:NOASSERTIONStargazers:481Issues:16Issues:0

agda2hs

Compiling Agda code to readable Haskell

Language:AgdaLicense:MITStargazers:173Issues:19Issues:165

Clawn

The Clawn Programming Language

Language:C++License:MITStargazers:140Issues:4Issues:5

TablaZinc

Generate guitar tablatures using a constraint solver

Language:ShellLicense:MPL-2.0Stargazers:139Issues:4Issues:1

mastodon-install-script

簡単にMastodonサーバーを建てられるようにするスクリプト / Scritpts to easily deploy Mastodon on Ubuntu

Language:ShellLicense:GPL-3.0Stargazers:31Issues:4Issues:24

Translate_helper

A Java application to help to translate the localisation files of the Paradox games.

Language:JavaStargazers:30Issues:5Issues:52

PaliNLP2

PaliNLP reworked. Version 2.

Language:JavaLicense:GPL-2.0Stargazers:15Issues:5Issues:4

AutoDungeonExplorer

Language:CLicense:AGPL-3.0Stargazers:2Issues:0Issues:0

GuildAndDungeon

ギルド運営ダンジョン探索シミュレーションゲーム

Language:C++Stargazers:1Issues:0Issues:0