7 Repositories
Rust rank Libraries
A lending iterator trait based on generic associated types and higher-rank trait bounds
A lending iterator trait based on higher-rank trait bounds (HRTBs) A lending iterator is an iterator which lends mutable borrows to the items it retur
6 Oct 23, 2023
Low rank adaptation (LoRA) for Candle.
candle-lora LoRA (low rank adaptation) implemented in Rust for use with Candle. This technique interchanges the fully-trainable layers of the model wi
34 Oct 6, 2023
The Rank-Biased Centroids (RBC) rank fusion method to combine multiple-rankings of objects.
Rank-Biased Centroids (RBC) The Rank-Biased Centroids (RBC) rank fusion method to combine multiple-rankings of objects. This code implements the RBC r
2 Sep 8, 2022
A lightweight Rust library for BitVector Rank&Select operations, coupled with a generic Sparse Array implementation
A lightweight Rust library for BitVector Rank&Select operations, coupled with a generic Sparse Array implementation
5 Jun 20, 2022
Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"
Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" See arXiv:1306.6032 This implementation focusses on read
95 Dec 20, 2022
Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" written in OCaml
bidi-higher-rank-poly Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorph
23 Oct 18, 2022
An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types
Vinilla Lang Vanilla is a pure functional programming language based on System F, a classic but powerful type system. Merits Simple as it is, Vanilla
73 Aug 4, 2022