frunk_core
Frunk core provides developers with HList, Coproduct, LabelledGeneric and Generic
Latest release 0.4.0 - Updated - 769 stars
frunk_derives
frunk_derives contains the custom derivations for certain traits in Frunk.
Latest release 0.4.0 - Updated - 769 stars
frunk
Frunk provides developers with a number of functional programming tools like HList, Coproduct, Ge...
Latest release 0.4.0 - Updated - 769 stars
ts-type
add some typescript type and re-export some build-in typescript type
Latest release 1.2.39 - Updated - 3 stars
frunk_proc_macro_helpers
Common internal functions for frunk's proc macros
Latest release 0.1.0 - Updated - 769 stars
frunk_proc_macros
Proc macros for Frunk
Latest release 0.1.0 - Updated - 769 stars
frunk_proc_macros_impl
Proc macros inernal implementations for Frunk
Latest release 0.1.0 - Updated - 769 stars
purescript-simple-json
A simple Purescript JSON library that uses types automatically
Latest release v2.0.1 - Published - 121 stars
@ts-type/package-dts
A Typescript type definition for NPM package json
Latest release 1.0.50 - Updated - 3 stars
frust
Functional Programming in Rust
Latest release 0.0.7 - Updated - 769 stars
frunk_laws
frunk_laws contains laws for algebras declared in Frunk.
Latest release 0.4.0 - Updated - 769 stars
simple-json
A simple Purescript JSON library that uses types automatically
Latest release v2.0.1 - Published - 121 stars
Sylvester.Arithmetic
Type-level natural number arithmetic and constraints using fixed-point decimal types.
Latest release 0.2.8.1 - Updated - 46 stars
type-ops
Type-ops -- type-level operators for TypeScript
Latest release 3.0.3 - Updated
shoggoth
Generic and type-level programming for Rust
Latest release 0.0.19 - Updated - 53 stars
shoggoth_macros
Generic and type-level programming for Rust
Latest release 0.0.19 - Updated - 53 stars
Sylvester.Collections
Sylvester number-parameterized collection types. These collection types can perform static verifi...
Latest release 0.2.8 - Updated - 46 stars
type-natural
Type-level natural numbers and proofs of their properties.
Latest release 1.1.0.0 - Updated - 29 stars
refl
Provides a `refl` encoding which you can use to provide a proof witness that one type is equivale...
Latest release 0.2.1 - Updated - 21 stars
type-level
Type-level programming in Rust
Latest release 0.0.1 - Published - 53 stars
units
Units of Measure for Rust. Easy to use, type-safe and customizable.
Latest release 0.1.0 - Updated - 26 stars
type-operators
A macro system for creating type operators in Rust and writing type-level logic.
Latest release 0.3.5 - Updated - 20 stars
identity
A stable Rust implementation of an identity (a.k.a., “equality witness”) type.
Latest release 0.0.6 - Updated - 2 stars
lue-bird/elm-bounded-nat
natural number in a range at compile-time
Latest release 18.0.0 - Updated
global-data-manager
Save project-global variables in one location, manage and access them anywhere
Latest release 0.0.1 - Updated
mu-kafka
This package provides simple interoperation between Mu and Kafka using hw-kafka-client
Latest release - Published - 239 stars
mu-persistent
Please see the readme file.
Latest release - Published - 239 stars
compendium-client
Mu (μ) is a purely functional framework for building micro services.
Latest release - Published - 239 stars
Sylvester.tf
High-level functional and verifiable TensorFlow 2.0 API.
Latest release 0.2.3.4 - Updated - 46 stars
type-errors-pretty
This library provides replacements for the ErrorMessage constructors to write the text of custom ...
Latest release - Published - 45 stars
License
Language
Keyword
Platform

Subscribe to an RSS feed of this search