Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for functional programming type safety
functional-programming
x
type-safety
x
19 search results found
Returns
⭐
3,083
Make your functions return something meaningful, typed, and safe!
Purify
⭐
1,462
Functional programming library for TypeScript - https://gigobyte.github.io/purify/
Result
⭐
1,198
A simple Rust like Result type for Python 3. Fully type annotated.
Coalton
⭐
918
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
Classes
⭐
575
Smart, pythonic, ad-hoc, typed polymorphism for Python
Topshell
⭐
444
TopShell - a purely functional, reactive scripting language
Libretto
⭐
188
Declarative concurrency and stream processing library for Scala
Typical
⭐
175
Typical: Fast, simple, & correct data-validation using Python 3 typing.
Pfun
⭐
142
Functional, composable, asynchronous, type-safe Python.
Purescript Spec
⭐
135
Testing framework for Purescript
Koda
⭐
95
Type-safe functional tools for Python.
Eslint Plugin Total Functions
⭐
86
An ESLint plugin to enforce the use of total functions (and prevent the use of partial functions) in TypeScript.
Explicit Design
⭐
46
Source code for the “Explicit Design” post series • 🔌🧩🧱
Flect
⭐
41
A pragmatic, functional systems programming language.
Twitter Api Ts
⭐
38
TypeScript compatible Twitter API client
Total Functions
⭐
31
A collection of total functions to replace TypeScript's built-in partial functions.
Valaddin
⭐
30
Functional input validation to make R functions more readable and robust
Eidos
⭐
29
A tiny and principled library for type-safe IDs
Plistkit
⭐
22
Swift library for easily reading/writing plist (Property List) files.
Ts Pattern Matching
⭐
18
Pattern matching in TS with Record Patterns, Type Patterns, type inference and more
Maybe
⭐
18
🌯 The prettiest TypeScript implementation of Maybe monad.
Quartz
⭐
17
The official compiler for the Quartz programming language
Safe String Interpolation
⭐
14
A type driven approach to string interpolation, aiming at consistent, secure, and only-human-readable logs and console outputs !
Kanji
⭐
12
A strongly typed GraphQL API framework
Strict Encoding
⭐
7
Protobufs for functional programming
Ctss
⭐
6
Functional CSS meet TypeScript
Orinoco
⭐
6
Functional composable pipelines allowing clean separation of the business logic and its implementation
Ad Ts
⭐
6
Bringing Pattern Matching and other ADT and Functional Programming concepts to TypeScript
Result
⭐
5
Type-safe error handling without exceptions
Related Searches
Javascript Functional Programming (2,473)
Java Functional Programming (850)
Typescript Functional Programming (775)
Scala Functional Programming (499)
1-19 of 19 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.