typelevel Goto Github PK
Name: typelevel.scala
Type: Organization
Bio: Let the Scala compiler work for you.
Twitter: typelevel
Blog: http://typelevel.org
Name: typelevel.scala
Type: Organization
Bio: Let the Scala compiler work for you.
Twitter: typelevel
Blog: http://typelevel.org
a ✨special ✨ repository for project defaults and organization readme
Experimental project to lay out basic algebra type classes
Depend on Cirrus CI from a GitHub Actions workflow
Typelevel's very own CryptoKitties!
A case-insensitive string for Scala
Birds and cats together
Lightweight, modular, and extensible library for functional programming.
Data structures for pure functional programming in Scala
The pure asynchronous runtime for Scala
An incubator project for async/await syntax support for Cats Effect
Command line debugging console for Cats Effect
Integration between cats-effect and test frameworks
cats transformer type classes.
A parsing library for the cats ecosystem
Library of utilities for tagless final encoded algebras
Cats Testkit for Scalatest
Cats Instances for Java Time
URI implementation based on cats-parse with cats instances
Testbed for scala libraries and tools, based on examples from cats docs
Library to support automatic labeling of ScalaCheck properties.
Cooperative multithreading as a pure monad transformer
Scala sample code for Bartosz Milewski's CT for Programmers
Flexible law checking for Scala
MUnit binding for Typelevel Discipline
ScalaTest binding for Discipline
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.