Awesome Open Source

Programming Languages

Search results for types identity

7 search results found

Hott Agda ⭐ 319

Development of homotopy type theory in Agda

Identity ⭐ 264

🆔 Type-safe identifiers in Swift

Cubical ⭐ 119

Implementation of Univalence in Cubical Sets

Boostlibrariescheetsheetchn ⭐ 60

Boost速查手册

Purescript Ctprelude ⭐ 46

A Prelude with names from category theory

Sanctuary Identity ⭐ 27

🌈 Fantasy Land -compliant Identity type

Executable ⭐ 26

Check if a file is executable

Univalence From Scratch ⭐ 15

Univalence from scratch in Idris

Simple Configuration ⭐ 13

A configuration library without any magic

Simple.data.postgresql ⭐ 9

PostgreSQL provider for Simple.Data

Functional Io ⭐ 8

IO methods as valid Task monads perfect to write great point-free software in JavaScript that is compatible with most modern browsers and Deno.

Fantasy Land Traditional Chinese ⭐ 7

Fantasy Land Specification 繁體中文文件

Tagged Identity ⭐ 6

Trivial monad transformer that allows identical monad stacks have different types

Idgenerator ⭐ 5

Generates identity types for C#

Related Searches

Javascript Types (8,178)

Typescript Types (2,606)

Python Types (2,536)

Php Types (1,921)

Java Types (1,598)

C Plus Plus Types (1,282)

Golang Types (1,257)

C Sharp Types (1,177)

Plugin Types (1,152)

Json Types (1,128)

1-7 of 7 search results

Privacy | About | Terms | Follow Us On Twitter

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