A simple encoding of higher-kinded types in TypeScript
@rwalkling/higher-kinded-types =====================
Higher kinded types for typescript and a few utility monads.
Higher-kinded types for Flow
Encoding of higher-kinded types in TypeScript
🍃 A micro HKT (higher-kinded type) implementation for TypeScript, with type safety elegantly guaranteed.
A higher-kinded polymorphic type checker and experimental type system implementing System F-Omega with traits, recursive types, variants, and kind inference.
Higher-kinded types for TypeScript
Implementation of common algebraic types in JavaScript + Flow
A minimal toolkit for higher-kinded types in TypeScript.
Stronger context, linking, and lookups through Kinded types
Functional programming in TypeScript
Functional programming standard library for TypeScript
Package implementing a set of core functionalities, like higher-kinded types (HKT) and an object model, that other packages build upon.
这是一个 TypeScript 库，用于模拟高阶类型（Higher-Kinded Types）。由于 TypeScript 的类型系统不支持“一等”类型的构造器（First-class Type Constructors），本库通过接口和类型运算来实现类似的功能。
collection of useful TypeScript types
Functional and composable type utilities
Static Land Compliant Remote Data Type in TypeScript
A TypeScript language server plugin that improves the editor experience for grandMA3 plugin development.
[](https://codecov.io/gh/ty-ras/server)
Functional reactive values-over-time
<h3 align="center"> <a href="https://fp-ts.github.io/core/"> <img src="./docs/fp-ts-logo.png"> </a> </h3>
Core type definitions for Aeon reactive streams
A Generic HKT encoding for TypeScript
Generate enums with same variants, but without data.
Scrapes Lustre stats and aggregates into JSON or YAML
Generate enums with same variants, but without data.
Proc macro for deriving error kinds
Composable, parser-combinator-style abstraction over tree-sitter node dispatch
Minimalistic implementation of entity kinds for Bevy ECS.
Development tools and utilities for KindlyGuard ecosystem
Simple type safety solution for Bevy
Declare Clever Cloud resources in a YAML/JSON file and sync them via the clever-tools CLI.
A secure, local-first secrets manager with encrypted storage and zero-knowledge architecture
ScriptFile bootstrap plugin for Drasi
Generate a companion ID enum and an associated getter method for the annotated enum
Run any kind of code in parallel processes
fork of whatcould/bounce-email incl. patches from wakiki, peterpunk, agowan & rngtng
NotifyMe is a monitoring script, it can monitor processes, services etc. with ruby scripts.
Kind provider for Kuby.
Provides a mechanism for passing content up to the layout, like Rails' content_for
Foodtruck serves all kinds of good food!
jaro_winkler is an implementation of Jaro-Winkler \ distance algorithm which is written in C extension and will fallback to pure \ Ruby version in platforms other than MRI/KRI like JRuby or Rubinius. Both of \ C and Ruby implementation support any kind of string encoding, such as \ UTF-8, EUC-JP, Big5, etc.
Raki enables chaining of objects. It is based on the definition of an interface and some builders. Chained Rakis must conforms to the Raki definition.
Structural types, Struct, Enum and ADT for Ruby implemented with Ruby
[Experimenting!] A kind of DSL to generate mindmap. Depend on Graphviz.
Integrate the Kinde API into any ruby-based applications, Rails or non-Rails
No description provided.
No description provided.
No description provided.