l-as Goto Github PK

abstract-struct

A Rust macro for hiding away generic type parameters in structs

amdoc

Version of amdctl but made in Rust and less buggy

amethyst

Data-oriented and data-driven game engine written in Rust

async_kernel

Jane Street Capital's asynchronous execution library (core)

autoneverimpl

proc macro for rust

awesome-plutus

bot-plutus-interface

Unofficial PAB implementation

breeze

An experimental, kakoune-inspired CLI-centric text/code editor with |-shaped cursor (in Rust)

cadmium

cardano-base

Code used throughout the Cardano eco-system

cardano-cabal2nix

Nix derivations for Cardano packages using cabal2nix

cargo-wix

A cargo subcommand to build Windows installers for rust projects using the WiX Toolset

cedille

Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

cinny

Yet another matrix client

cips

computed-derivations

copilot-rs

Copilot LSP implementation in Rust

derive_more

Some more derive(Trait) options

developer-portal

The Cardano Developer Portal

devos

NixOS Template

dream2nix

A generic framework for 2nix tools

dxvk

Vulkan-based D3D11 and D3D10 implementation for Linux / Wine

easy-steamworks

Easy way to use Steamworks SDK from Rust, without having access to the SDK headers.

erroneous

A Rust error handling library

error-chain

Error boilerplate for Rust

eutxo-spec

Specification of the Extended UTxO Model with Custom Token Support

flat

Principled and efficient binary serialization

fnl

Lua Lisp Language

forcebalance

formality-core

Specification of the Formality proof and programming language