Topic: algebraic-data-types Goto Github
Some thing interesting about algebraic-data-types
Some thing interesting about algebraic-data-types
algebraic-data-types,A programming language that's wise beyond its bytes!π±πΏπͺ΄
User: adam-mcdaniel
Home Page: https://adam-mcdaniel.net/sage
algebraic-data-types, Type safe utils inspired from the Rust language for writing better TypeScript/Flow.
User: alexsasharegan
Home Page: https://npmjs.com/package/safe-types
algebraic-data-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
algebraic-data-types,A more powerful C/C++ preprocessor.
User: blackhole89
algebraic-data-types,𧩠Shape-Safe Symbolic Differentiation with Algebraic Data Types
User: breandan
Home Page: https://breandan.net/public/masters_thesis.pdf#page=49
algebraic-data-types,A fragmentary bidirectional type system as a Python library
User: cyrus-
algebraic-data-types,Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.
Organization: derive4j
algebraic-data-types,RemoteData type
Organization: devexperts
algebraic-data-types,:triangular_ruler: Javascript Geometric Algebra Generator for Javascript, c++, c#, rust, python. (with operator overloading and algebraic literals) -
User: enkimute
algebraic-data-types,Specification for common algebraic structures in JavaScript based on Fantasy Land
Organization: fantasyland
algebraic-data-types,π¦ Fantasy Land compliant (monadic) alternative to Promises
Organization: fluture-js
algebraic-data-types,Monadic middleware
Organization: fluture-js
algebraic-data-types,pure functional and generic programming for Erlang
User: fogfish
algebraic-data-types,pure functional and generic programming for Go
User: fogfish
algebraic-data-types,Functional programming in Java
Organization: functionaljava
Home Page: www.functionaljava.org
algebraic-data-types,Common Functional Programming Algebraic data types for JavaScript that is compatible with most modern browsers and Deno.
Organization: functionalland
algebraic-data-types,Functional programming in TypeScript
User: gcanti
Home Page: https://gcanti.github.io/fp-ts/
algebraic-data-types,TypeScript code generation from a haskell-like syntax for ADT. Playground:
User: gcanti
Home Page: https://gcanti.github.io/fp-ts-codegen/
algebraic-data-types,A small, straightforward library bringing the benefits of functional programming to Java 11
User: gdejohn
algebraic-data-types,Functional programming library for TypeScript - https://gigobyte.github.io/purify/
User: gigobyte
algebraic-data-types,Algebraic data types for C99
User: hirrolot
algebraic-data-types,Type safe library for creating Algebraic Data Types (ADTs) in TypeScript. π±
User: jasonkuhrt
algebraic-data-types,Algebraic data types for Python (experimental, not actively maintained)
User: jspahrsummers
algebraic-data-types,Functional Programming Unorthodoxly Adjusted to Client-/Server-side Javascript
Organization: kongware
algebraic-data-types,Base software building blocks: Algebraic types (aka sumtype/tagged union/variant), universal reflection API, basic math, and more.
Organization: libmir
Home Page: http://mir-core.libmir.org
algebraic-data-types,An implementation of Sum types in Julia
User: masonprotter
algebraic-data-types,Algebraic data type (ADT) to represent the state of data that is loading from/to remote sources/destinations
Organization: mercari
algebraic-data-types,A type-safe and space-efficient sum type for C# (comparable to discriminated unions in C or C++)
User: mknejp
Home Page: https://twitter.com/mknejp
algebraic-data-types,AIFAD - Automated Induction of Functions over Algebraic Data Types
User: mmottl
algebraic-data-types,[not actively maintained!] A standard library for functional programming in JavaScript
Organization: origamitower
Home Page: https://folktale.origamitower.com/
algebraic-data-types,Functional patterns for Java
Organization: palatable
Home Page: https://palatable.github.io/lambda/
algebraic-data-types,Functional Enum type / Sum type for javascript with simple pattern matching
User: phenax
algebraic-data-types,π€ Struct and enum data access in harmony.
Organization: pointfreeco
Home Page: https://www.pointfree.co/episodes/ep52-enum-properties
algebraic-data-types,Rings: efficient JVM library for polynomial rings
User: poslavskysv
Home Page: https://rings.readthedocs.io
algebraic-data-types,Algebraic Data Types for Elixir: Both functional and fun.
User: qqwy
algebraic-data-types,nextgen MLStyle: Generic Algebraic Data Type + Pattern Match
User: roger-luo
Home Page: http://rogerluo.dev/Moshi.jl/
algebraic-data-types,Algebraic type based schema system
User: seagreen
algebraic-data-types,Functional programming style pattern-matching library for C++
User: solodon4
algebraic-data-types,Algebraic data types in Java.
Organization: spotify
algebraic-data-types,Data interchange with algebraic data types.
User: stepchowfun
algebraic-data-types,Algebraic data types in Common Lisp
User: stylewarning
algebraic-data-types,Julia functional programming infrastructures and metaprogramming facilities
User: thautwarm
Home Page: https://thautwarm.github.io/MLStyle.jl/latest/
algebraic-data-types,In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distinguishing features and detailing them with working code examples. The presentation aims to be self-contained and does not require any previous knowledge of the language.
User: thma
algebraic-data-types,Generic immutable recursive data representation API targeted at source code models and more.
Organization: usethesource
algebraic-data-types,Reusable, composable patterns across Elixir libraries
User: vic
Home Page: https://hex.pm/packages/expat
algebraic-data-types,π A mono-repository with functional programming helpers, algebraic data types, util functions, types and even some micro frameworks in TypeScript.
User: vitorluizc
algebraic-data-types,A code generator enabling sum-types in Dart
User: werediver
algebraic-data-types,Bootstrapped algebraic data types for Elixir
Organization: witchcrafters
Home Page: https://hex.pm/packages/algae
algebraic-data-types,Monads and other dark magic for Elixir
Organization: witchcrafters
Home Page: https://witchcrafters.github.io
algebraic-data-types,PEG parser generator for Java 17 - grammar as algebraic datatypes
User: zhong-j-yu
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.