Dive into haskellDive into Haskell: Examples of all features of this Pure Functional programing language
Stars: ✭ 64 (-22.89%)
Learning SicpMIT视频公开课《计算机程序的构造和解释》中文化项目及课程学习资料搜集。
Stars: ✭ 9,059 (+10814.46%)
RamtuaryRamda + Ramda Fantasy + Sanctuary REPL 🌿
Stars: ✭ 72 (-13.25%)
ScallinaA Coq-based synthesis of Scala programs which are correct-by-construction
Stars: ✭ 65 (-21.69%)
Espresso🚚 Espresso is an express delivery tracking app designed with Material Design style, built on MVP(Model-View-Presenter) architecture with RxJava2, Retrofit2, Realm database and ZXing
Stars: ✭ 1,084 (+1206.02%)
Lila♞ lichess.org: the forever free, adless and open source chess server ♞
Stars: ✭ 10,315 (+12327.71%)
HeresyA BASIC-flavored Lisp dialect
Stars: ✭ 60 (-27.71%)
GoatAnnotate Images (or goats) On The Web™
Stars: ✭ 78 (-6.02%)
MosbymviModel-View-Intent (MVI) sample app built in Kotlin with Mosby, RxJava and RxBinding
Stars: ✭ 57 (-31.33%)
Android App Architecture Mvvm DatabindingA simple but complete project (in both Java & Kotlin) to demonstrate the Android application architecture with MVVM pattern, a client app for The Movie DB Web API. Dagger2 is used for dependency injection and RxJava is used for RFP (Reactive Functional Programming).
Stars: ✭ 69 (-16.87%)
LambdatestFunctional testing for Scala.
Stars: ✭ 65 (-21.69%)
ModulesModules in R
Stars: ✭ 54 (-34.94%)
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 (-8.43%)
MgoPurely functional genetic algorithms for multi-objective optimisation
Stars: ✭ 63 (-24.1%)
RxbusAndroid reactive event bus that simplifies communication between Presenters, Activities, Fragments, Threads, Services, etc.
Stars: ✭ 79 (-4.82%)
WeatherapplicationA WeatherApplication with usage of different libraries of Android.
Stars: ✭ 61 (-26.51%)
Weexplus🔨基于阿里WeexSDK跨平台方案,在原有的组件基础上,提供weex调用android native方法的一套扩展通信交互库,包含页面导航、数据存储、图片选择、二维码识别、权限等。
Stars: ✭ 73 (-12.05%)
FuncFunctional additions to C
Stars: ✭ 58 (-30.12%)
Ecto morph morph your Ecto capabilities into the s t r a t o s p h e r e !
Stars: ✭ 72 (-13.25%)
Command CenterA CLI-based launcher and general productivity tool.
Stars: ✭ 78 (-6.02%)
RetrokotlinSimple Android app to show how unit testing with MockWebServer and Architecture Components (ViewModel + LiveData)
Stars: ✭ 55 (-33.73%)
RxeventbusA EventBus based on RxJava2, using Retention.CLASS annotation.
Stars: ✭ 68 (-18.07%)
CodeworldEducational computer programming environment using Haskell
Stars: ✭ 1,142 (+1275.9%)
RxactivityresultThis is a library that can help you to receive results from startActivityForResult() as an Observable.
Stars: ✭ 76 (-8.43%)
LambdaFun with λ calculus!
Stars: ✭ 65 (-21.69%)
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 (-4.82%)
Ifluxiflux = immer.js + react.js
Stars: ✭ 64 (-22.89%)
PfunFunctional, composable, asynchronous, type-safe Python.
Stars: ✭ 75 (-9.64%)
Request viaRequestVia: A Functional HTTP Client That Wraps Net::HTTP
Stars: ✭ 74 (-10.84%)
SkunkA data access library for Scala + Postgres.
Stars: ✭ 1,107 (+1233.73%)
IdiolispA statically typed functional programming language
Stars: ✭ 78 (-6.02%)
FuncjAssorted functional-oriented data structures and algorithms for Java.
Stars: ✭ 60 (-27.71%)
Not Awesome Es6 ClassesA curated list of resources on why ES6 (aka ES2015) classes are NOT awesome
Stars: ✭ 1,185 (+1327.71%)
Aiyagirl🔥 爱吖妹纸(含 Kotlin 分支版本)——Retrofit + RxJava + MVP 架构 APP 体验代码家的干货集中营 Gank.io,福利多多,不容错过
Stars: ✭ 1,109 (+1236.14%)
Omnia Stars: ✭ 81 (-2.41%)
Kari.hppExperimental library for currying in C++17
Stars: ✭ 58 (-30.12%)
CyclopsAn advanced, but easy to use, platform for writing functional applications in Java 8.
Stars: ✭ 1,180 (+1321.69%)
Scodec StreamBinding between scodec and FS2
Stars: ✭ 57 (-31.33%)
LuxThe Lux Programming Language
Stars: ✭ 1,211 (+1359.04%)
NoexceptionJava library for handling exceptions in concise, unified, and architecturally clean way.
Stars: ✭ 56 (-32.53%)
AffectAlgebraic effects for Ruby
Stars: ✭ 56 (-32.53%)
Monix BioAsynchronous data type with typed errors.
Stars: ✭ 80 (-3.61%)
TdcappSample app which access the TDC (The Developer's Conference) REST API.
Stars: ✭ 55 (-33.73%)
FoAn experimental language which adds functional programming features to Go.
Stars: ✭ 1,158 (+1295.18%)
Jhc ComponentsJHC Haskell compiler split into reusable components
Stars: ✭ 55 (-33.73%)
DesafiosFP Challenges
Stars: ✭ 77 (-7.23%)
Json DecoderType safe JSON decoder for TypeScript
Stars: ✭ 67 (-19.28%)
Freesound AndroidUnofficial Android client for the Freesound Project
Stars: ✭ 81 (-2.41%)
Open Source Android Weather App☔️ Open source android weather app. See "Issues" tab for current tasks queue. Tasks suitable for beginners are labeled with green "beginner friendly" tags.
Stars: ✭ 81 (-2.41%)
Wanandroid🔥项目采用 Kotlin 语言,基于 MVP + RxJava + Retrofit + Glide + EventBus 等架构设计,努力打造一款优秀的 [玩Android] 客户端
Stars: ✭ 1,223 (+1373.49%)
IncomposeA inferno utility belt for function components and higher-order components
Stars: ✭ 76 (-8.43%)
Milewski Ctfp PdfBartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Stars: ✭ 9,037 (+10787.95%)