CyclopsAn advanced, but easy to use, platform for writing functional applications in Java 8.
Stars: ✭ 1,180 (-9.72%)
CodeworldEducational computer programming environment using Haskell
Stars: ✭ 1,142 (-12.62%)
Lila♞ lichess.org: the forever free, adless and open source chess server ♞
Stars: ✭ 10,315 (+689.21%)
Taelinarena[outdated] A moddable MOBA in Formality
Stars: ✭ 84 (-93.57%)
FoAn experimental language which adds functional programming features to Go.
Stars: ✭ 1,158 (-11.4%)
FuegoFunctional Experiment in Golang
Stars: ✭ 87 (-93.34%)
Ifluxiflux = immer.js + react.js
Stars: ✭ 64 (-95.1%)
GoatAnnotate Images (or goats) On The Web™
Stars: ✭ 78 (-94.03%)
Qrefreshlayout下拉刷新,上拉加载更多,自动加载更多,用法同SwipeRefreshLayout,兼容所有view,兼容nested滚动,可以自定义header footer,支持下拉到二楼
Stars: ✭ 75 (-94.26%)
BulbA reactive programming library for JavaScript.
Stars: ✭ 84 (-93.57%)
Not Awesome Es6 ClassesA curated list of resources on why ES6 (aka ES2015) classes are NOT awesome
Stars: ✭ 1,185 (-9.33%)
Spring 5 ExamplesThis repository is contains spring-boot 2 / spring framework 5 project examples. Using reactive programming model / paradigm and Kotlin
Stars: ✭ 87 (-93.34%)
Functionalrx2FunctionalRx2 is a collection of constructs to simplify a functional programming approach to Java and Android [STABLE]
Stars: ✭ 83 (-93.65%)
Json DecoderType safe JSON decoder for TypeScript
Stars: ✭ 67 (-94.87%)
Imlazy😴 Functional programming with lazy immutable iterables
Stars: ✭ 89 (-93.19%)
LambdaFun with λ calculus!
Stars: ✭ 65 (-95.03%)
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 (-93.96%)
MgoPurely functional genetic algorithms for multi-objective optimisation
Stars: ✭ 63 (-95.18%)
CafeappA Real World Business Application using F# and Suave
Stars: ✭ 86 (-93.42%)
HeresyA BASIC-flavored Lisp dialect
Stars: ✭ 60 (-95.41%)
Command CenterA CLI-based launcher and general productivity tool.
Stars: ✭ 78 (-94.03%)
Scalaz PluginA compiler plugin that will improve on the scala compiler on the assumption that the user is using the Scalazzi-safe subset of Scala.
Stars: ✭ 76 (-94.19%)
Learning SicpMIT视频公开课《计算机程序的构造和解释》中文化项目及课程学习资料搜集。
Stars: ✭ 9,059 (+593.11%)
ImtoolsFast and memory-efficient immutable collections and helper data structures
Stars: ✭ 85 (-93.5%)
PfunFunctional, composable, asynchronous, type-safe Python.
Stars: ✭ 75 (-94.26%)
KotlintutorialLearn Kotlin programming from scratch
Stars: ✭ 88 (-93.27%)
Request viaRequestVia: A Functional HTTP Client That Wraps Net::HTTP
Stars: ✭ 74 (-94.34%)
DashFunctional programming library for PHP. Inspired by Underscore, Lodash, and Ramda.
Stars: ✭ 84 (-93.57%)
RamtuaryRamda + Ramda Fantasy + Sanctuary REPL 🌿
Stars: ✭ 72 (-94.49%)
FunctionalplusFunctional Programming Library for C++. Write concise and readable C++ code.
Stars: ✭ 1,286 (-1.61%)
Ecto morph morph your Ecto capabilities into the s t r a t o s p h e r e !
Stars: ✭ 72 (-94.49%)
Zio QueryAdd efficient pipelining, batching, and caching to any data source
Stars: ✭ 84 (-93.57%)
Flutter refreshA Flutter plugin for refreshing every scrollable view by pulling down-up.
Stars: ✭ 70 (-94.64%)
Theseustheseus, functional programming language with fully reversible computation
Stars: ✭ 87 (-93.34%)
PulltorefreshThis component implements pure pull-to-refresh logic and you can use it for developing your own pull-to-refresh animations
Stars: ✭ 1,150 (-12.01%)
Omnia Stars: ✭ 81 (-93.8%)
Milewski Ctfp PdfBartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Stars: ✭ 9,037 (+591.43%)
Taskorama⚙ A Task/Future data type for JavaScript
Stars: ✭ 90 (-93.11%)
LambdatestFunctional testing for Scala.
Stars: ✭ 65 (-95.03%)
Monix BioAsynchronous data type with typed errors.
Stars: ✭ 80 (-93.88%)
ScallinaA Coq-based synthesis of Scala programs which are correct-by-construction
Stars: ✭ 65 (-95.03%)
Zio LoggingSimple logging for ZIO apps, with correlation, context & pluggable backends out of the box.
Stars: ✭ 85 (-93.5%)
UltimaterefreshviewUltimateRefreshView 实现下拉刷新,上拉加载更多的轻量级库;支持RecyclerView ,ListView ,ScrollView & WebView
Stars: ✭ 64 (-95.1%)
IdiolispA statically typed functional programming language
Stars: ✭ 78 (-94.03%)
Dive into haskellDive into Haskell: Examples of all features of this Pure Functional programing language
Stars: ✭ 64 (-95.1%)
Test Each🤖 Repeat tests. Repeat tests. Repeat tests.
Stars: ✭ 89 (-93.19%)
SkunkA data access library for Scala + Postgres.
Stars: ✭ 1,107 (-15.3%)
LuxThe Lux Programming Language
Stars: ✭ 1,211 (-7.35%)
FuncjAssorted functional-oriented data structures and algorithms for Java.
Stars: ✭ 60 (-95.41%)
DesafiosFP Challenges
Stars: ✭ 77 (-94.11%)
Lda Topic ModelingA PureScript, browser-based implementation of LDA topic modeling.
Stars: ✭ 91 (-93.04%)
Spotted LeopardsProof of concept for a cats-like library built using Dotty features
Stars: ✭ 91 (-93.04%)
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 (-93.27%)
FpsheetFPSheet: A Spreadsheet program with Haskell as the scripting language
Stars: ✭ 86 (-93.42%)
IncomposeA inferno utility belt for function components and higher-order components
Stars: ✭ 76 (-94.19%)