More
More
-
abstract-struct Public
A Rust macro for hiding away generic type parameters in structs
Rust Mozilla Public License 2.0 UpdatedJun 27, 2018 -
-
amethyst Public
Forked from amethyst/amethystData-oriented and data-driven game engine written in Rust
Rust Other UpdatedApr 17, 2019 -
-
awesome-plutus Public
Forked from mlabs-haskell/awesome-plutusCreative Commons Zero v1.0 Universal UpdatedSep 20, 2021 -
breeze Public
Forked from dpc/breezeAn experimental, kakoune-inspired CLI-centric text/code editor with |-shaped cursor (in Rust)
Rust UpdatedJan 21, 2019 -
Cadmium Public
Forked from Maccraft123/CadmiumShell GNU General Public License v3.0 UpdatedOct 26, 2021 -
cardano-base Public
Forked from IntersectMBO/cardano-baseCode used throughout the Cardano eco-system
Haskell Apache License 2.0 UpdatedDec 3, 2021 -
cargo-wix Public
Forked from volks73/cargo-wixA cargo subcommand to build Windows installers for rust projects using the WiX Toolset
Rust Apache License 2.0 UpdatedApr 14, 2018 -
cedille Public
Forked from cedille/cedilleCedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
Agda MIT License UpdatedFeb 9, 2021 -
cinny Public
Forked from cinnyapp/cinnyYet another matrix client
JavaScript MIT License UpdatedSep 12, 2021 -
-
derive_more Public
Forked from JelteF/derive_moreSome more derive(Trait) options
Rust MIT License UpdatedOct 18, 2018 -
-
dxvk Public
Forked from doitsujin/dxvkVulkan-based D3D11 and D3D10 implementation for Linux / Wine
C++ zlib License UpdatedApr 14, 2019 -
easy-steamworks Public
Easy way to use Steamworks SDK from Rust, without having access to the SDK headers.
-
-
error-chain Public
Forked from rust-lang-deprecated/error-chainError boilerplate for Rust
Rust Apache License 2.0 UpdatedOct 27, 2018 -
eutxo-spec Public
Forked from hydra-supplementary-material/eutxo-specSpecification of the Extended UTxO Model with Custom Token Support
UpdatedFeb 13, 2020 -
flat Public
Forked from Quid2/flatPrincipled and efficient binary serialization
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJan 11, 2022 -
-
-
Formality-Core Public
Forked from Soonad/Formality-CoreSpecification of the Formality proof and programming language
JavaScript UpdatedApr 8, 2020 -
ghc-proposals Public
Forked from ghc-proposals/ghc-proposalsProposed compiler and language changes for GHC and GHC/Haskell
Python UpdatedSep 27, 2025 -
Ghouls-Balance-Mod Public
Forked from GhoulofGSG9/Ghouls-Balance-ModA NS2 mod containing various prototype balance changes based on ideas of the NS2 balance team.
Lua MIT License UpdatedMay 16, 2018 -
godot_headers Public
Forked from godotengine/godot-headersHeaders for the Godot API supplied by the GDNative module.
C MIT License UpdatedSep 19, 2018 -
-
haskell-wayland Public
Forked from Ongy/haskell-waylandHaskell bindings for the Wayland library
-
haskell-xkbcommon Public
Forked from Ongy/haskell-xkbcommonHaskell bindings for libxkbcommon
-