Awesome Open Source
Awesome Open Source
Combined Topics
typelevel x

The Top 183 Typelevel Open Source Projects

Categories > Compilers > Typelevel
Shapeless ⭐ 3,232
Generic programming for Scala
dependent packages 628total releases 10most recent commit a month ago
Http4s ⭐ 2,259
A minimal, idiomatic Scala interface for HTTP
dependent packages 171total releases 280most recent commit 8 hours ago
Doobie ⭐ 1,974
Functional JDBC layer for Scala.
dependent packages 85total releases 72most recent commit 13 hours ago
Monix ⭐ 1,844
Asynchronous, Reactive Programming for Scala and Scala.js.
dependent packages 146total releases 61most recent commit 8 hours ago
Refined ⭐ 1,498
Refinement types for Scala
dependent packages 113total releases 40most recent commit 7 days ago
Skunk ⭐ 1,290
A data access library for Scala + Postgres.
dependent packages 3total releases 34most recent commit 2 months ago
Rsc ⭐ 1,248
Experimental Scala compiler focused on compilation speed
dependent packages 2total releases 7most recent commit 7 months ago
Scala Pet Store ⭐ 931
An implementation of the java pet store using FP techniques in scala
most recent commit 2 months ago
Frunk ⭐ 835
Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.
dependent packages 25total releases 45most recent commit 5 months agocargo frunk} Downloads
Twitter Kit Android ⭐ 811
Twitter Kit for Android
most recent commit 3 years ago
Frameless ⭐ 805
Expressive types for Spark.
dependent packages 4total releases 10most recent commit 10 days ago
Scodec ⭐ 756
Scala combinator library for working with binary data
dependent packages 60total releases 10most recent commit 2 days ago
Decline ⭐ 524
A composable command-line parser for Scala.
dependent packages 18total releases 21most recent commit 8 days ago
Cats Infographic ⭐ 407
typeclass diagram for cats
most recent commit a year ago
Algebra ⭐ 380
Experimental project to lay out basic algebra type classes
dependent packages 26total releases 9most recent commit 7 months ago
Sharry ⭐ 367
Sharry is a self-hosted file sharing web application.
most recent commit 20 hours ago
Discipline ⭐ 307
Flexible law checking for Scala
dependent packages 169total releases 16most recent commit a month ago
Mouse ⭐ 300
A small companion to cats
dependent packages 13total releases 28most recent commit 16 days ago
Mu Haskell ⭐ 284
Mu (μ) is a purely functional framework for building micro services.
most recent commit 8 days ago
Dth ⭐ 284
Examples of Dependently-typed programs in Haskell
most recent commit 5 months ago
Henkan ⭐ 266
A small library for converting between case classes.
dependent packages 1total releases 14most recent commit 3 months ago
Awesome Scala ⭐ 186
A curated list of awesome Scala frameworks, libraries and software.
most recent commit 2 months ago
Structures ⭐ 180
Functional type classes for Scala
most recent commit 7 years ago
Sup ⭐ 177
Composable, purely functional healthchecks in Scala.
dependent packages 9total releases 14most recent commit 2 months ago
Hammock ⭐ 177
Purely functional HTTP client
dependent packages 11total releases 19most recent commit 2 months ago
Recursion Scheme Talk ⭐ 176
A talk on using recursion schemes in FP.
most recent commit 5 years ago
Paiges ⭐ 174
an implementation of Wadler's a prettier printer
dependent packages 13total releases 11most recent commit 7 days ago
Typedapi ⭐ 163
Build your web API on the type level.
dependent packages 3total releases 11most recent commit 3 years ago
Singleton Ops ⭐ 159
Operations for primitive and String singleton types
dependent packages 6total releases 8most recent commit 2 months ago
Purescript Simple Json ⭐ 129
A simple Purescript JSON library that uses types automatically
most recent commit 8 days ago
Interop Cats ⭐ 118
ZIO instances for cats-effect type classes
dependent packages 50total releases 46most recent commit 2 months ago
Coulomb ⭐ 117
coulomb: unit analysis for Scala
dependent packages 1total releases 6most recent commit 10 days ago
Advanced Http4s ⭐ 114
🌈 Code samples of advanced features of Http4s in combination with some features of Fs2 not often seen.
most recent commit 3 years ago
Spotted Leopards ⭐ 107
Proof of concept for a cats-like library built using Dotty features
most recent commit 5 months ago
Pine ⭐ 104
Functional HTML5 and XML library for the Scala platform
dependent packages 1total releases 8most recent commit 2 years ago
Core ⭐ 99
FP Scala Back-end of the Smart Backpacker App
most recent commit 4 years ago
Exercises Cats ⭐ 98
Scala Exercises' lessons for the Cats library
total releases 5most recent commit 5 days ago
Twotails ⭐ 84
A Scala compiler plugin for mutual tail recursion
most recent commit 2 years ago
Monix Bio ⭐ 81
Asynchronous data type with typed errors.
most recent commit 6 months ago
Typelevel Library.g8 ⭐ 81
Template for starting FP libraries ready to be published
most recent commit 9 months ago
Dilate ⭐ 80
Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.
most recent commit 5 years ago
Sbt Typelevel ⭐ 79
Let sbt work for you.
most recent commit 7 days ago
Extruder ⭐ 76
Populate Case Classes From Any Data Source
most recent commit 3 years ago
Manatki ⭐ 67
scala things
most recent commit 4 months ago
Neutron ⭐ 65
🌠 Purely functional Apache Pulsar client for Scala built on top of Fs2
most recent commit 23 days ago
Typelevel Stack.g8 ⭐ 64
📚 Unofficial Giter8 template for the Typelevel Stack (Http4s / Doobie / Circe / Cats Effect / Fs2) based on Cats v1.x.x
most recent commit 3 years ago
Purescript Typelevel Prelude ⭐ 62
Types and kinds for basic type-level programming
most recent commit 23 days ago
Patchless ⭐ 61
Patch data type for Scala and shapeless
most recent commit 2 years ago
Alleycats ⭐ 58
Cats instances and classes which are outlaws, miscreants, and ne'er-do-wells.
most recent commit 4 years ago
Brick Store ⭐ 57
Typelevel Brickstore
most recent commit 2 years ago
Cats Scalatest ⭐ 55
Scalatest binding for Cats
most recent commit 21 days ago
Type Errors Pretty ⭐ 49
💄🐞 Combinators for writing pretty type errors easily
most recent commit 10 months ago
Purescript Milkis ⭐ 47
A Purescript library for working with fetch for HTTP requests
most recent commit 6 days ago
Sbt Catalysts ⭐ 46
sbt utilities for open source projects
most recent commit 2 months ago
Si2712fix Plugin ⭐ 45
Fix for SI-2712 implemented as a compiler plugin for Scala 2.11.8 and 2.10.6
most recent commit 4 years ago
Beanpuree ⭐ 45
Middle layer between JavaBeans and shapeless
most recent commit 5 days ago
Toolkit ⭐ 43
The MPI Bioinformatics Toolkit
most recent commit 18 days ago
Aiyou ⭐ 42
IO types and classes for Scala.
most recent commit 5 years ago
Alphabet Soup ⭐ 40
Type calculations at compile time
most recent commit 3 years ago
Template.scala ⭐ 38
C++ Flavored Template Metaprogramming in Scala
most recent commit 5 years ago
Purescript Typelevel Eval ⭐ 37
Higher order functional programming in PureScript's type system
most recent commit 6 months ago
Owlet ⭐ 35
Typed Spreadsheet UI library for ScalaJS
most recent commit 2 years ago
Type Operators Rs ⭐ 35
A macro for defining type operators in Rust.
most recent commit 5 years ago
Shapeless Refined Std ⭐ 34
Type-level API for standard collections
most recent commit 6 years ago
Lambda Scala ⭐ 32
Type level lambda calculus in Scala
most recent commit 7 years ago
Typelevel Interpreter ⭐ 31
Language and working Interpreter using only TypeScript types (no JavaScript either written or emitted)
most recent commit 4 years ago
Bamboomigrate ⭐ 31
bamboomigrate is a typelevel transformation and migration library
most recent commit 4 years ago
Http4s Modules ⭐ 31
Web modules built on Http4s
most recent commit 2 months ago
Sonic ⭐ 30
A Scala implementation of hedgehog using the typelevel libraries
most recent commit 2 years ago
Purescript Typelevel ⭐ 30
Type level natural numbers and booleans
most recent commit 3 years ago
Typelevel Tour ⭐ 25
A tour of some Typelevel libraries
most recent commit 4 years ago
Oh Migrations ⭐ 23
Data migrations through implicit function composition at the type-level
most recent commit 3 years ago
Sbt Org Policies ⭐ 22
Just an SBT plugin that enforces some organizational policies and settings across all of your projects
most recent commit 2 years ago
Category Parametric Talk ⭐ 22
Talks on category-parametric programming.
most recent commit 2 years ago
Typelevel Dijkstra Sp ⭐ 22
Dijkstra's shortest path algorithm implemented at type level with Haskell
most recent commit 4 years ago
Notes ⭐ 19
Programming notes
most recent commit 5 months ago
Schemes ⭐ 18
A recursion schemes micro-library
most recent commit 4 years ago
Si2712fix Demo ⭐ 18
This repository contains a minimal SBT project for experimenting with a fix for SI-2712
most recent commit 6 years ago
Typelevel Schema Poc ⭐ 17
most recent commit 4 years ago
Purescript Sized Vectors ⭐ 17
Idris style sized vectors in PureScript
most recent commit a year ago
Scala Superquants ⭐ 16
Scala: Typelevel unboxed compile time dimensional analysis over tagged types. Intellij Idea compatible 100%
most recent commit 5 years ago
Scala Functional Programming Tutorial ⭐ 16
Functional Programming in Scala Tutorial
most recent commit a year ago
Scalawave Typelevel Workshop ⭐ 16
Slides and code from Scalawave 2016 "Introduction to typelevel (meta)programming with Shapeless" workshop
most recent commit 5 years ago
Discipline Scalatest ⭐ 16
ScalaTest binding for Discipline
most recent commit 3 months ago
Typelevel Programming Scala ⭐ 15
TypeLevel Programming in Scala
most recent commit 6 years ago
Neo4s ⭐ 15
Go to the new repository https://github.com/hackersguildco/neo4s
most recent commit 6 years ago
Lens Typelevel ⭐ 15
Type-level lenses using singletons because why not
most recent commit 3 years ago
Http4s Dom ⭐ 15
http4s, in a browser near you
most recent commit 2 days ago
Yausl ⭐ 14
Yausl : Yet Another Unit System Library for Scala
most recent commit 6 years ago
Todo Backend Typelevel ⭐ 13
todo-backend implementation using the Typelevel stack
most recent commit 3 years ago
Discipline Munit ⭐ 13
MUnit binding for Typelevel Discipline
most recent commit 3 months ago
Circular ⭐ 12
Invertible syntax for Scala.
most recent commit 6 years ago
Zhuyu ⭐ 11
Typed, Functional Scala SQS Consumer
most recent commit 8 days ago
Scala Course ⭐ 11
most recent commit 12 days ago
Treelog Scalajs ⭐ 10
Gives TreeLog a GUI, the ScalaJS ReactTreeView
most recent commit 6 years ago
Scalaxhack 2016 ⭐ 9
Topic and project suggestions for ScalaxHack 2016.
most recent commit 5 years ago
Magic Typelevel Elem ⭐ 9
Demonstrating how to make type families faster using typechecker plugins
most recent commit a year ago
Purescript Kushiyaki ⭐ 9
A library for PureScript 0.12 using Record-Format to parse urls with a template.
most recent commit 4 years ago
Purescript Typelevel Parser ⭐ 8
Typelevel parser that allows DSTs to become types
most recent commit 2 years ago
Strava Summary ⭐ 8
most recent commit a year ago
1-100 of 183 projects
Categories
Advertising 📦 8
All Projects
Application Programming Interfaces 📦 107
Applications 📦 174
Artificial Intelligence 📦 69
Blockchain 📦 66
Build Tools 📦 105
Cloud Computing 📦 68
Code Quality 📦 24
Collaboration 📦 27
Command Line Interface 📦 38
Community 📦 79
Companies 📦 60
Compilers 📦 59
Computer Science 📦 73
Configuration Management 📦 37
Content Management 📦 153
Control Flow 📦 187
Data Formats 📦 72
Data Processing 📦 249
Data Storage 📦 116
Economics 📦 56
Frameworks 📦 178
Games 📦 110
Graphics 📦 92
Hardware 📦 137
Integrated Development Environments 📦 43
Learning Resources 📦 139
Legal 📦 24
Libraries 📦 117
Lists Of Projects 📦 19
Machine Learning 📦 313
Mapping 📦 57
Marketing 📦 15
Mathematics 📦 54
Media 📦 214
Messaging 📦 96
Networking 📦 292
Operating Systems 📦 71
Operations 📦 114
Package Managers 📦 50
Programming Languages 📦 173
Runtime Environments 📦 90
Science 📦 42
Security 📦 343
Social Media 📦 23
Software Architecture 📦 65
Software Development 📦 60
Software Performance 📦 53
Software Quality 📦 115
Text Editors 📦 40
Text Processing 📦 118
User Interface 📦 291
User Interface Components 📦 440
Version Control 📦 26
Virtualization 📦 63
Web Browsers 📦 35
Web Servers 📦 23
Web User Interface 📦 167
Top Programming Languages
Javascript  (1,047,598)
Python  (795,011)
Java  (385,045)
Php  (284,473)
Typescript  (239,038)
C Plus Plus  (235,900)
Ruby  (221,657)
C  (180,208)
Shell  (169,403)
C Sharp  (161,845)
Golang  (155,856)
Swift  (64,653)
Objective C  (57,178)
R  (57,161)
Rust  (55,946)
Dart  (51,340)
Kotlin  (45,393)
Lua  (33,206)
Matlab  (30,856)
Perl  (30,490)
Language  (30,079)
Scala  (28,595)
Haskell  (20,234)
Clojure  (19,069)
Powershell  (18,787)
Bash  (18,591)
Coffeescript  (17,333)
Elixir  (16,566)
Assembly  (14,516)
Processing  (13,295)
Julia  (12,513)
Basic  (10,765)
Flow  (10,526)
Emacs Lisp  (10,355)
Erlang  (9,058)
Scheme  (8,438)
Groovy  (8,428)
Solidity  (7,564)
Ocaml  (6,663)
Pascal  (6,379)
Hack  (6,363)
Lisp  (6,344)
Fortran  (5,481)
Elm  (5,476)
Common Lisp  (5,289)
Dlang  (4,743)
Shell Script  (4,624)
Python Library  (4,446)
Crystal  (4,375)
Scripting  (4,201)
Top Projects
Freecodecamp ⭐ 346,151
996.icu ⭐ 262,270
Free Programming Books ⭐ 233,248
Coding Interview University ⭐ 219,820
Awesome ⭐ 201,987
Vue ⭐ 196,009
Developer Roadmap ⭐ 194,992
Public Apis ⭐ 192,383
React ⭐ 188,186
System Design Primer ⭐ 180,789
Tensorflow ⭐ 165,018
Bootstrap ⭐ 157,351
You Dont Know Js ⭐ 152,909
Cs Notes ⭐ 150,780
Ohmyzsh ⭐ 145,307
Build Your Own X ⭐ 141,474
Flutter ⭐ 140,756
Javascript Algorithms ⭐ 140,055
Python ⭐ 136,147
Gitignore ⭐ 133,164
Linux ⭐ 131,965
Vscode ⭐ 131,861
Awesome Python ⭐ 127,528
Javascript ⭐ 122,717
Javaguide ⭐ 121,544
Python 100 Days ⭐ 117,585
Computer Science ⭐ 113,435
Youtube Dl ⭐ 110,082
Fucking Algorithm ⭐ 106,048
The Art Of Command Line ⭐ 105,874
React Native ⭐ 102,796
Electron ⭐ 101,752
D3 ⭐ 100,901
Go ⭐ 99,330
30 Seconds Of Code ⭐ 95,528
Create React App ⭐ 95,065
Axios ⭐ 93,441
Awesome Selfhosted ⭐ 88,803
Kubernetes ⭐ 88,536
Free Programming Books Zh_cn ⭐ 88,386
Node ⭐ 87,714
Next.js ⭐ 86,918
Terminal ⭐ 83,169
Deno ⭐ 82,506
Three.js ⭐ 82,078
Angular ⭐ 81,428
Awesome Go ⭐ 80,764
Typescript ⭐ 80,742
Ant Design ⭐ 80,353
Material Ui ⭐ 78,521
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2022 Awesome Open Source.  All rights reserved.