Taelinarena[outdated] A moddable MOBA in Formality
Stars: ✭ 84 (-25.66%)
ArticlesCode snippets for articles posted at 4comprehension.com
Stars: ✭ 96 (-15.04%)
Functionalrx2FunctionalRx2 is a collection of constructs to simplify a functional programming approach to Java and Android [STABLE]
Stars: ✭ 83 (-26.55%)
ScalacasterPurely Functional Algorithms and Data Structures in Scala
Stars: ✭ 1,342 (+1087.61%)
Aardvark.renderingThe dependency-aware, high-performance aardvark rendering engine. This repo is part of aardvark - an open-source platform for visual computing, real-time graphics and visualization.
Stars: ✭ 79 (-30.09%)
GoatAnnotate Images (or goats) On The Web™
Stars: ✭ 78 (-30.97%)
Tensor SafeA Haskell framework to define valid deep learning models and export them to other frameworks like TensorFlow JS or Keras.
Stars: ✭ 96 (-15.04%)
Command CenterA CLI-based launcher and general productivity tool.
Stars: ✭ 78 (-30.97%)
ForgeFunctional style JSON parsing in Kotlin
Stars: ✭ 106 (-6.19%)
IncomposeA inferno utility belt for function components and higher-order components
Stars: ✭ 76 (-32.74%)
Liftconstexpr C++17 library for simplifying higher order functions in application code
Stars: ✭ 111 (-1.77%)
Request viaRequestVia: A Functional HTTP Client That Wraps Net::HTTP
Stars: ✭ 74 (-34.51%)
TycheStatistics utilities for the JVM - in Scala!
Stars: ✭ 93 (-17.7%)
ParapetA purely functional library to build distributed and event-driven systems
Stars: ✭ 106 (-6.19%)
Ecto morph morph your Ecto capabilities into the s t r a t o s p h e r e !
Stars: ✭ 72 (-36.28%)
IterSimple iterator abstract datatype, intended to iterate efficiently on collections while performing some transformations.
Stars: ✭ 71 (-37.17%)
Python MemoizationA powerful caching library for Python, with TTL support and multiple algorithm options.
Stars: ✭ 109 (-3.54%)
Httpzpurely functional http client with scalaz.Free
Stars: ✭ 67 (-40.71%)
Lda Topic ModelingA PureScript, browser-based implementation of LDA topic modeling.
Stars: ✭ 91 (-19.47%)
Milewski Ctfp PdfBartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Stars: ✭ 9,037 (+7897.35%)
Sodium TypescriptTypescript/Javascript implementation of Sodium FRP (Functional Reactive Programming) library
Stars: ✭ 102 (-9.73%)
LambdatestFunctional testing for Scala.
Stars: ✭ 65 (-42.48%)
Spotted LeopardsProof of concept for a cats-like library built using Dotty features
Stars: ✭ 91 (-19.47%)
ScallinaA Coq-based synthesis of Scala programs which are correct-by-construction
Stars: ✭ 65 (-42.48%)
Ddd On ScalaDDD sample implementation by Scala.
Stars: ✭ 113 (+0%)
Buckets JsA complete, fully tested and documented data structure library written in pure JavaScript.
Stars: ✭ 1,128 (+898.23%)
Imlazy😴 Functional programming with lazy immutable iterables
Stars: ✭ 89 (-21.24%)
MgoPurely functional genetic algorithms for multi-objective optimisation
Stars: ✭ 63 (-44.25%)
Dive into haskellDive into Haskell: Examples of all features of this Pure Functional programing language
Stars: ✭ 64 (-43.36%)
Faux PasA library that simplifies error handling for Functional Programming in Java
Stars: ✭ 100 (-11.5%)
Test Each🤖 Repeat tests. Repeat tests. Repeat tests.
Stars: ✭ 89 (-21.24%)
SkunkA data access library for Scala + Postgres.
Stars: ✭ 1,107 (+879.65%)
Fundamental HaskellFundamental Haskell book, to the point terse statements on Haskell, Category theory, and related fields. Encyclopedic pocketbook of meaning. Zen kōan-like meditations of understanding. For quick or memory curve spaced repetition learning.
Stars: ✭ 88 (-22.12%)
HeresyA BASIC-flavored Lisp dialect
Stars: ✭ 60 (-46.9%)
FuncjAssorted functional-oriented data structures and algorithms for Java.
Stars: ✭ 60 (-46.9%)
Clear ConfigScala FP configuration library with a focus on runtime clarity
Stars: ✭ 108 (-4.42%)
Java8 Guides TutorialsJava 8 Guides and Tutorials - A lot of awesome examples using Java 8 features like Stream, Lambda, Functional Interface, Date and Time API and much more
Stars: ✭ 100 (-11.5%)
KotlintutorialLearn Kotlin programming from scratch
Stars: ✭ 88 (-22.12%)
Learning SicpMIT视频公开课《计算机程序的构造和解释》中文化项目及课程学习资料搜集。
Stars: ✭ 9,059 (+7916.81%)
Kari.hppExperimental library for currying in C++17
Stars: ✭ 58 (-48.67%)
MainecoonTransform and compose tagless final encoded algebras in scala
Stars: ✭ 100 (-11.5%)
Grokking Monad购买 👉 https://gum.co/grokking-monad 在线阅读 👉
Stars: ✭ 87 (-23.01%)
FuncFunctional additions to C
Stars: ✭ 58 (-48.67%)
Scodec StreamBinding between scodec and FS2
Stars: ✭ 57 (-49.56%)
Spring 5 ExamplesThis repository is contains spring-boot 2 / spring framework 5 project examples. Using reactive programming model / paradigm and Kotlin
Stars: ✭ 87 (-23.01%)
MomiMonadic middleware
Stars: ✭ 57 (-49.56%)
CdcontainersLibrary of data containers and data structures for C programming language.
Stars: ✭ 57 (-49.56%)
CrocksA collection of well known Algebraic Data Types for your utter enjoyment.
Stars: ✭ 1,501 (+1228.32%)
BqnAn APL-like programming language. Self-hosted!
Stars: ✭ 100 (-11.5%)
Theseustheseus, functional programming language with fully reversible computation
Stars: ✭ 87 (-23.01%)
NoexceptionJava library for handling exceptions in concise, unified, and architecturally clean way.
Stars: ✭ 56 (-50.44%)