Topic: higher-kinded-types Goto Github
Some thing interesting about higher-kinded-types
Some thing interesting about higher-kinded-types
higher-kinded-types,A proc macro for real async traits, using nightly-only existential types and generic associated types to work around the need for type erasure
User: 4ldo2
higher-kinded-types,Pratical functional programming presentation and sample.
User: al333z
higher-kinded-types,Explore functional DSLs and type systems in Java and Kotlin that facilitate easier-to-read, cleaner, more testable, and more fault tolerant code
User: anticipasean
higher-kinded-types,Functional companion to Kotlin's Compiler
Organization: arrow-kt
Home Page: https://meta.arrow-kt.io
higher-kinded-types,Some examples for Λrrow Meta the functional companion to Kotlin's Compiler & IDE.
Organization: arrow-kt
higher-kinded-types,A collection of algebraic data types, optics, and data structures based on a light weight higher kinded type implementation. Written for deno.
User: baetheus
Home Page: https://jsr.io/@baetheus/fun
higher-kinded-types,A pluggable typescript library
User: brookshuihualee
higher-kinded-types,Functional Programming and Higher Kinds in Rust
User: daviswahl
higher-kinded-types,Highly experimental TypeScript project providing a type-level lambda.
User: decorator-factory
higher-kinded-types,
User: dmytromitin
higher-kinded-types,Experimental HKT framework and generic traits for the standard library
User: ereski
higher-kinded-types,Zero-dependency, purely functional library for effectful programming in Typescript
Organization: fp4ts
higher-kinded-types,Some experiments using @flowtype
User: frontsideair
higher-kinded-types,A type-level library enabling the creation and the manipulation of type constructors which can be detached from their type parameters. Also referred to as higher kinded types.
User: geoffreytools
higher-kinded-types,Extract or modify pieces of arbitrarily nested types with type lenses
User: geoffreytools
higher-kinded-types,Rust General Associated Types emulation together with functional style traits
User: grayjack
higher-kinded-types,Some experiments with annotation processors, code generation, higher kinded types (sort of) and typeclasses (sort of) in Kotlin
User: guibrandt
higher-kinded-types,logger-f, Logger for F[_]
User: kevin-lee
Home Page: https://logger-f.kevinly.dev
higher-kinded-types,Repository for playing with spark
User: kklimexk
higher-kinded-types,An interpreter for a functional, programming language with support for polymorphic ADTs, higher-kinded types, and more!
User: lambdaak
higher-kinded-types,A simple and lazy programming language with Damas-Hindley-Milner type inference and higher kinded types.
User: lambduli
higher-kinded-types,Lambe compiler
Organization: lambe-lang
higher-kinded-types,A statically typed functional programming inspired by Haskell, OCaml and Rust.
Organization: lambe-lang
higher-kinded-types,Boilerplate-free, zero-overhead Tagless Final / typed-final / Finally Tagless DSLs in Scala
User: lloydmeta
higher-kinded-types,C# functional language extensions - a base class library for functional programming
User: louthy
higher-kinded-types,Presentation I gave on Krakow Scala User Group
User: mateuszkubuszok
Home Page: https://mateuszkubuszok.github.io/FromTypeToKindProjector/
higher-kinded-types,Exploring ways to encode functional concepts like structural pattern matching, type classes and fixed points in Java.
User: mduerig
higher-kinded-types,Seamless Higher-Kinded Types in Rust
User: mtomassoli
higher-kinded-types,Non trivial Type Programming in Typescript
User: mtomassoli
higher-kinded-types,Fωμ type checker and compiler
User: polytypic
Home Page: https://polytypic.github.io/f-omega-mu/main
higher-kinded-types,Effectful OCaml with Objects and Variants
User: polytypic
Home Page: https://polytypic.github.io/rea-ml/main/api/rea/Rea/index.html
higher-kinded-types,Over-Complicated Database Query using higher-kinded data
Organization: scalalandio
Home Page: https://scalalandio.github.io/ocdquery/
higher-kinded-types,A functional programming language with lisp syntax and ML semantics that runs on the BEAM
User: smpoulsen
higher-kinded-types,Experiments with higher-kinded types and object algebras in C#
User: tgrospic
higher-kinded-types,Higher abstraction infrastructures in F#(ad-hoc polymorphism, subtypeclassing, monad, hkt...), exactly what we've dreamed about for so long
User: thautwarm
higher-kinded-types,A refined implementation of Lightweighted Higher Kinded Types in Julia(via typeclasses/traits)
User: thautwarm
higher-kinded-types,Functional Programming library for Java
User: tonivade
higher-kinded-types,Having fun with HKTs and a functional code base
User: vincibean
higher-kinded-types,A static-land and fantasy-land compliant library containing interfaces for common type-classes and common instances of them.
User: williamareynolds
Home Page: https://williamareynolds.github.io/ts-cat/
higher-kinded-types,Abstract patterns in JS
User: wshager
Home Page: https://wshager.com
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.