endlessScala library to describe sharded and event sourced entities using tagless-final algebras
Stars: ✭ 70 (-81.43%)
oxygenjsThis a JavaScript Library for the Numerical Javascript and Machine Learning
Stars: ✭ 13 (-96.55%)
racket-casSimple computer algebra system
Stars: ✭ 58 (-84.62%)
Advanced Http4s🌈 Code samples of advanced features of Http4s in combination with some features of Fs2 not often seen.
Stars: ✭ 136 (-63.93%)
http4s-domhttp4s, in a browser near you
Stars: ✭ 13 (-96.55%)
unitedUnited Monoids
Stars: ✭ 25 (-93.37%)
AngourimathOpen-source symbolic algebra library for C# and F#. One of the most powerful in .NET
Stars: ✭ 266 (-29.44%)
TypedapiBuild your web API on the type level.
Stars: ✭ 165 (-56.23%)
oh-migrationsData migrations through implicit function composition at the type-level
Stars: ✭ 23 (-93.9%)
Spotted LeopardsProof of concept for a cats-like library built using Dotty features
Stars: ✭ 91 (-75.86%)
alphabet-soupType calculations at compile time
Stars: ✭ 40 (-89.39%)
augmathInteractive Computer Algebra System. Augmenting how we *do* mathematics using computers
Stars: ✭ 41 (-89.12%)
Cmathtutstrying to collect all useful tutorials for famous C math and linear algebra libraries such as CBLAS, CLAPACK, GSL...
Stars: ✭ 266 (-29.44%)
generalRepository for general Typelevel information, activity and issues
Stars: ✭ 19 (-94.96%)
relationalEducational tool for relational algebra
Stars: ✭ 70 (-81.43%)
articicial-inteligence-and-data-scienceEste repositorio esta basado principalmente en la carrera de machine learning y data science de platzi pero también habrán recursos de otras plataformas e instituciones educativas.
Stars: ✭ 34 (-90.98%)
Basic Mathematics For Machine LearningThe motive behind Creating this repo is to feel the fear of mathematics and do what ever you want to do in Machine Learning , Deep Learning and other fields of AI
Stars: ✭ 300 (-20.42%)
HammockPurely functional HTTP client
Stars: ✭ 174 (-53.85%)
MonixAsynchronous, Reactive Programming for Scala and Scala.js.
Stars: ✭ 1,819 (+382.49%)
agdaThe theory of algebraic graphs formalised in Agda
Stars: ✭ 67 (-82.23%)
MonocleOptics library for Scala
Stars: ✭ 1,357 (+259.95%)
types-vs-testsTab 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?
Stars: ✭ 17 (-95.49%)
scalaAlgebraic Graphs in Scala
Stars: ✭ 23 (-93.9%)
DilateNearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.
Stars: ✭ 80 (-78.78%)
symbolicnimA symbolic library written purely in Nim with the ability to compile expressions into efficient functions.
Stars: ✭ 25 (-93.37%)
sbt-org-policiesJust an SBT plugin that enforces some organizational policies and settings across all of your projects
Stars: ✭ 22 (-94.16%)
Matherzzllrr mather(an offline tool for Math learning, education and research)小乐数学,离线可用的数学学习(自学或教学)、研究辅助工具。计划覆盖数学全部学科的解题、作图、演示、探索工具箱。目前是演示Demo版(抛转引玉),但已经支持数学公式编辑显示,部分作图功能,部分学科,如线性代数、离散数学的部分解题功能。最终目标是推动专业数学家、编程专家、教育工作者、科普工作者共同打造出更加专业级的Mather数学工具
Stars: ✭ 270 (-28.38%)
mir-glas[Experimental] LLVM-accelerated Generic Linear Algebra Subprograms
Stars: ✭ 99 (-73.74%)
EulerThe open-source computational framework for the Swift language
Stars: ✭ 37 (-90.19%)
Atosymalgebraic expressions parsing and evaluation through a property system based algorithm
Stars: ✭ 15 (-96.02%)
ShapelessGeneric programming for Scala
Stars: ✭ 3,207 (+750.66%)
radbRA (radb): A relational algebra interpreter over relational databases
Stars: ✭ 48 (-87.27%)
Mu ScalaMu is a purely functional library for building RPC endpoint based services with support for RPC and HTTP/2
Stars: ✭ 266 (-29.44%)
typelevel-stack.g8📚 Unofficial Giter8 template for the Typelevel Stack (Http4s / Doobie / Circe / Cats Effect / Fs2) based on Cats v1.x.x
Stars: ✭ 63 (-83.29%)
swm-corePure Math in Pure Swift.
Stars: ✭ 190 (-49.6%)
currAll curricular materials for Bootstrap course modules
Stars: ✭ 13 (-96.55%)
Newton Api➗ A really micro micro-service for advanced math.
Stars: ✭ 358 (-5.04%)
MouseA small companion to cats
Stars: ✭ 247 (-34.48%)
txstateAn effort to statically type xstate
Stars: ✭ 64 (-83.02%)
Http4sA minimal, idiomatic Scala interface for HTTP
Stars: ✭ 2,173 (+476.39%)
HenkanA small library for converting between case classes.
Stars: ✭ 262 (-30.5%)
DoobieFunctional JDBC layer for Scala.
Stars: ✭ 1,910 (+406.63%)
haskell-frexNo description or website provided.
Stars: ✭ 20 (-94.69%)
SupComposable, purely functional healthchecks in Scala.
Stars: ✭ 138 (-63.4%)
Grassmann.jl⟨Leibniz-Grassmann-Clifford⟩ differential geometric algebra / multivector simplicial complex
Stars: ✭ 289 (-23.34%)
Coulombcoulomb: unit analysis for Scala
Stars: ✭ 109 (-71.09%)
RefinedSimple refinement types for Scala
Stars: ✭ 1,316 (+249.07%)
fib-anyonAn implementation of Fibonacci Anyons in Haskell
Stars: ✭ 18 (-95.23%)
Fp ResourcesFunctional programming great resources
Stars: ✭ 369 (-2.12%)
Nerdamera symbolic math expression evaluator for javascript
Stars: ✭ 322 (-14.59%)
DisciplineFlexible law checking for Scala
Stars: ✭ 286 (-24.14%)
klefkiKlefki is a playground for researching elliptic curve group based algorithm, such as MPC, ZKP and HE. All data types & structures are based on mathematical defination of abstract algebra.
Stars: ✭ 12 (-96.82%)
metaocaml-frexNo description or website provided.
Stars: ✭ 19 (-94.96%)