Rust vectors with type level size
☆23Apr 29, 2021Updated 4 years ago
Alternatives and similar repositories for sized-vec
Users that are interested in sized-vec are comparing it to the libraries listed below
Sorting:
- Data type isomorphic to α ∨ β ∨ (α ∧ β)☆14Apr 27, 2022Updated 3 years ago
- Working through Okasaki's "Functional Datastructures" in PureScript☆14Nov 9, 2016Updated 9 years ago
- 👜 Callbag listener sink that receives data from any listenable source☆14Feb 6, 2018Updated 8 years ago
- Create temporary postgres instances☆56Aug 16, 2024Updated last year
- Idris style sized vectors in PureScript☆18Jan 5, 2021Updated 5 years ago
- Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.☆12Apr 1, 2016Updated 9 years ago
- A collection of functions which operate on 32-bit signed integers☆12Oct 27, 2024Updated last year
- JavaScript "native" interfaces for Fantasy Land☆19Jul 26, 2017Updated 8 years ago
- Git remote helper for Mango☆11Dec 11, 2019Updated 6 years ago
- Either data structure.☆21Jun 12, 2018Updated 7 years ago
- Relational programming for PureScript☆17Jan 5, 2017Updated 9 years ago
- Bucklescript's belt library packaged for native ocaml / dune / esy☆20Mar 25, 2019Updated 6 years ago
- Library for parse perf.data file from Linux perf tool for Rust☆18Apr 25, 2020Updated 5 years ago
- ☆14Mar 11, 2017Updated 8 years ago
- ☆40Jul 1, 2018Updated 7 years ago
- Provide Active-Anti-Entropy features to a virtual node in a KV store☆20Nov 19, 2025Updated 3 months ago
- A Haskell code formatter using prettyprinter and the GHC API☆24Oct 7, 2018Updated 7 years ago
- A very simple library for dealing with nulls in foreign libraries☆23Apr 27, 2022Updated 3 years ago
- Efficient sized chunk datatypes for immutable.rs☆28Apr 29, 2022Updated 3 years ago
- BuckleScript bindings for Lwt☆24May 28, 2017Updated 8 years ago
- Extension of the Callbag spec to add operator metadata☆59Mar 3, 2022Updated 3 years ago
- Free monad☆26Jan 20, 2016Updated 10 years ago
- Wraps around a futures::Spawn and adds diagnostics to it☆32Feb 5, 2020Updated 6 years ago
- JAVA and Docker based solution to host all service components (Owner, Manufacturer, Rendezvous) defined in SDO protocol. Reuses binaries …☆11Apr 5, 2023Updated 2 years ago
- Your favourite Haskell type classes for Rust☆265Apr 13, 2023Updated 2 years ago
- Types and kinds for basic type-level programming☆65Sep 28, 2024Updated last year
- ☆29Oct 8, 2016Updated 9 years ago
- Bucklescript data structures for effectful sync and async programming☆35Feb 10, 2020Updated 6 years ago
- some quantile algorithm implementaton for stream data☆12Jul 24, 2018Updated 7 years ago
- Incremental lambda calculus☆80Jun 5, 2019Updated 6 years ago
- Experimental continuous Behaviors for most.js☆32Dec 30, 2019Updated 6 years ago
- Values with two possibilities☆27Sep 17, 2022Updated 3 years ago
- Type level natural numbers and booleans☆34Sep 5, 2019Updated 6 years ago
- economic information you should know☆29Feb 23, 2016Updated 10 years ago
- Haskell: Supercharged anonymous records☆83Nov 12, 2022Updated 3 years ago
- A type checker for the Lean theorem prover☆40Mar 6, 2021Updated 4 years ago
- Assorted immutable collection datatypes for Rust☆1,574Aug 19, 2024Updated last year
- Computations which can suspend their execution and return control to their invoker☆36Oct 27, 2022Updated 3 years ago
- Type-driven code generation for OCaml, ReasonML, and BuckleScript☆42Dec 7, 2022Updated 3 years ago