Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for types algebra
algebra
x
types
x
19 search results found
Derive4j
⭐
517
Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.
Fp Resources
⭐
350
Functional programming great resources
Morphic Ts
⭐
279
Fillarrays.jl
⭐
168
Julia package for lazily representing matrices filled with a single entry
Functional
⭐
96
Common Functional Programming Algebraic data types for JavaScript that is compatible with most modern browsers and Deno.
Laop
⭐
79
Linear Algebra of Programming - Algebraic Matrices in Haskell
Slap
⭐
73
BLAS and LAPACK binding in OCaml with type-based static size checking for matrix operations
Tacent
⭐
50
A C++ library implementing linear algebra, text and file IO, UTF-N conversions, containers, image loading/saving, image quantization/filtering, command-line parsing, etc.
Algebraicrelations.jl
⭐
44
Relational Algebra, now with more algebra!
Haskell Ddd
⭐
25
Random DDD related things in Haskell
Advanced Functional Resources
⭐
24
Stateless
⭐
24
A library which is not recognized as citizen of any infrastructure.
Numlin
⭐
23
NumLin: Linear Types for Linear Algebra
H Calc
⭐
19
So, you want to write a DSL interpreter...
Bitbasis.jl
⭐
17
Types and operations for basis represented by bits in linear algebra.
Bypassingfreemonads
⭐
16
Object algebras vs. free monads, or type classes vs. ADTs
Types Vs Tests
⭐
16
Tab vs spaces, vim vs emacs, types vs tests, our community is full of these conflicts. In this talk, we'll explore the latter: what is the impact of types in our programs? Can types help write more efficient tests? If so, how?
Algebra
⭐
14
Simple abstract data types (wrapping derive4j) in Java
Heyting Algebras
⭐
13
Heyting Algebras in Haskell
Nifty Demo
⭐
13
Simple demo project and overview for Nifty
Agda Relation Algebra
⭐
12
Relational algebra implementation in Agda with simple bindings to SQLITE
Elm Webgl Math
⭐
11
A Matrix/Vector library for elm. Up to 4 dimensions. 3D Transformations mostly.
Talks
⭐
11
Repository of slides from various talks that I’ve given
Shady Side
⭐
10
Prototype Scala -> GLSL translation, including scaffolding to run + test
F Algebra Gen
⭐
10
Generate a special combinator from any data type.
Algebraic Classes
⭐
9
Conversions between algebraic classes and F-algebras.
Inductive_types
⭐
8
Constructing Simple and Mutual Inductive Types in Agda.
Glsl Cpp
⭐
8
A generic, modern and extensible numerical toolkit following the syntax and functionality of the GLSL shading language, but it packed with extra goodies
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.
Clif
⭐
7
A Clifford algebra number type for Haskell
Suoml
⭐
6
A small "ideal" language.
Indind Agda
⭐
6
Bettercmath
⭐
6
A -betterC compatible 3D math library for D
Taglessfinalinterpreter
⭐
5
Experiment with tagless final interpreter ideas from http://okmij.org/ftp/tagless-final/course/lecture.
Graphblas
⭐
5
A sparse matrix linear algebra library implementing may of the ideas from the GraphBLAS Forum in Go.
Matrix
⭐
5
Matrix library for Nimrod
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-19 of 19 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.