-
-
tree-sitter-c2rust Public
Forked from tree-sitter/tree-sitterA fork of Tree Sitter with a pure Rust runtime for WASM support
-
slinky Public
Write Scala.js React apps just like you would in ES6
-
python-genai Public
Forked from googleapis/python-genaiGoogle Gen AI Python SDK provides an interface for developers to integrate Google's generative models into their Python applications.
Python Apache License 2.0 UpdatedFeb 11, 2025 -
dafny Public
Forked from dafny-lang/dafnyDafny is a verification-aware programming language
C# Other UpdatedJan 17, 2025 -
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
Nix MIT License UpdatedNov 3, 2024 -
cyberchase-lean Public
Lean proof of Cyberchase S1E18 "Problem Solving in Shangri La"
Lean UpdatedAug 3, 2024 -
pgvector-rust Public
Forked from pgvector/pgvector-rustpgvector support for Rust
Rust Apache License 2.0 UpdatedApr 14, 2024 -
Reproducer for a Rust Analyzer bug with type hints and completions inside proc macros
Rust UpdatedDec 14, 2023 -
skyplane Public
Forked from skyplane-project/skyplane🔥 Blazing fast bulk data transfers between any cloud 🔥
Python Apache License 2.0 UpdatedMay 19, 2023 -
collidium Public
A scala.js based port of the original Collidium game.
-
cargo-dist Public
Forked from axodotdev/cargo-dist📦 shippable application packaging for Rust
Rust Apache License 2.0 UpdatedFeb 10, 2023 -
scala-native Public
Forked from scala-native/scala-nativeYour favorite language gets closer to bare metal.
-
-
create-react-scala-app.g8 Public
Create React apps in Scala with no build configuration.
-
-
-
-
-
-
icu4x Public
Forked from unicode-org/icu4xSolving i18n for client-side and resource-constrained environments.
Rust Other UpdatedAug 3, 2021 -
student-store Public
A Point-of-Sale app I wrote in middle school (and have been maintaining since) for tracking purchases at the student store.
Scala UpdatedJul 26, 2021 -
diplomat Public
Forked from rust-diplomat/diplomatExperimental rust tool for generating FFI definitions allowing many other languages to call Rust code
Other UpdatedJul 10, 2021 -
homebrew-cask Public
Forked from Homebrew/homebrew-cask🍻 A CLI workflow for the administration of macOS applications distributed as binaries
Ruby BSD 2-Clause "Simplified" License UpdatedJun 26, 2021 -
expo-template-scala Public
Create React Native apps in Scala with Scala.js, Slinky, and Expo
-
-
slinky-styled-components Public
Slinky wrappers around https://www.styled-components.com
-
GitHubGraduation-2021 Public
Forked from github-education-resources/GitHubGraduation-2021Join the GitHub Graduation Yearbook and "walk the stage" on June 5.
JavaScript UpdatedMay 12, 2021 -
-
{{ message }}