-
zmk-config-totem Public
Forked from GEIGEIGEIST/zmk-config-totemZMK config for TOTEM split keyboard
UpdatedFeb 13, 2024 -
-
-
miryoku_zmk Public
Forked from manna-harbour/miryoku_zmkMiryoku is an ergonomic, minimal, orthogonal, and universal keyboard layout. Miryoku ZMK is the Miryoku implementation for ZMK.
C UpdatedSep 25, 2023 -
-
automerge-uniffi Public
Forked from automerge/automerge-swiftUniffi IDL file and Rust wrappers
Swift UpdatedApr 22, 2023 -
blag Public
My corner of the blagosphere
-
sqldelight Public
Forked from sqldelight/sqldelightSQLDelight - Generates typesafe Kotlin APIs from SQL
Kotlin Apache License 2.0 UpdatedMar 14, 2023 -
-
kotlin Public
Forked from JetBrains/kotlinThe Kotlin Programming Language.
Kotlin UpdatedNov 4, 2022 -
Google-Ml-Kit-plugin Public
Forked from flutter-ml/google_ml_kit_flutterA flutter plugin that implements google's standalone ml kit
Dart MIT License UpdatedAug 17, 2022 -
-
-
mathlib Public
Forked from leanprover-community/mathlib3Lean mathematical components library
Lean Apache License 2.0 UpdatedJan 27, 2022 -
polonius Public
Forked from rust-lang/poloniusDefines the Rust borrow checker.
Rust Apache License 2.0 UpdatedJan 17, 2022 -
datafrog Public
Forked from rust-lang/datafrogA lightweight Datalog engine in Rust
Rust Apache License 2.0 UpdatedJan 16, 2022 -
rust Public
Forked from rust-lang/rustA safe, concurrent, practical language.
-
expect-test Public
Forked from rust-analyzer/expect-testMinimalistic snapshot testing for Rust.
Rust Apache License 2.0 UpdatedJan 5, 2022 -
chalk Public
Forked from rust-lang/chalkAn implementation and definition of the Rust trait system using a PROLOG-like logic solver
Rust Other UpdatedDec 27, 2021 -
-
hrtb-logic Public
A toy logic for constraints on HRTBs in Rust
-
polonius.next Public
Forked from nikomatsakis/polonius.nextexperimental datalog rules for a next gen polonius
Rust MIT License UpdatedNov 2, 2021 -
rustc-guide Public
Forked from rust-lang/rustc-dev-guideA guide to how rustc works and how to contribute to it.
HTML Apache License 2.0 UpdatedOct 27, 2021 -
souffle Public
Forked from souffle-lang/souffleSoufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
C++ Universal Permissive License v1.0 UpdatedOct 12, 2021 -
team Public
Forked from rust-lang/teamRust teams structure
Rust Apache License 2.0 UpdatedAug 4, 2021 -
RubyTextView Public
Forked from b84330808/RubyTextViewRubyTextView is an android view that can create TextView with ruby text, like furigana in Japanese or pinyin in Chinese.
Java Apache License 2.0 UpdatedJul 31, 2021 -
proptest Public
Forked from proptest-rs/proptestHypothesis-like property testing for Rust
Rust Apache License 2.0 UpdatedJul 1, 2021 -
-
this-week-in-rust Public
Forked from rust-lang/this-week-in-rustData for this-week-in-rust.org
HTML UpdatedOct 6, 2020 -
rustc-perf Public
Forked from rust-lang/rustc-perfWebsite for graphing performance of rustc
Rust UpdatedOct 6, 2020