KindA modern proof language
Stars: ✭ 2,075 (+17.3%)
Advanced Php最近打算写一些php一些偏微妙的教程,比如关于多进程、socket等相关,都是自己的一些感悟心得
Stars: ✭ 1,271 (-28.15%)
FpsheetFPSheet: A Spreadsheet program with Haskell as the scripting language
Stars: ✭ 86 (-95.14%)
WireReactive data processing framework for visual programming tools
Stars: ✭ 86 (-95.14%)
Azure Event Hubs SparkEnabling Continuous Data Processing with Apache Spark and Azure Event Hubs
Stars: ✭ 140 (-92.09%)
Reduxmoviedb🎥 See the upcoming movies! ReSwift + RxSwift 💖 Hacktoberfest 🎃
Stars: ✭ 137 (-92.26%)
BeiconReactive Streams for ClojureScript
Stars: ✭ 133 (-92.48%)
Node M3u8streamConcatenates segments from a m3u8/dash-mpd playlist into a consumable stream.
Stars: ✭ 127 (-92.82%)
StreamNodeJS Modbus Stream
Stars: ✭ 114 (-93.56%)
ImtoolsFast and memory-efficient immutable collections and helper data structures
Stars: ✭ 85 (-95.2%)
Lila♞ lichess.org: the forever free, adless and open source chess server ♞
Stars: ✭ 10,315 (+483.1%)
TwitchrecoverTwitch VOD tool which recovers all VODs including those that are sub only or deleted.
Stars: ✭ 123 (-93.05%)
React Easy Params🔗 Auto synchronize your state with the URL and LocalStorage.
Stars: ✭ 73 (-95.87%)
Stream流媒体解锁后端
Stars: ✭ 71 (-95.99%)
Combine MvvmSample project with Combine & UIKit framework, MVVM architecture
Stars: ✭ 132 (-92.54%)
Observablearray RxswiftAn array that can emit messages of elements and diffs on it's changing.
Stars: ✭ 108 (-93.89%)
Tcptunnel将本地内网服务器映射到公网。
Stars: ✭ 72 (-95.93%)
PatolinePatoline typesetting system
Stars: ✭ 124 (-92.99%)
Ecto morph morph your Ecto capabilities into the s t r a t o s p h e r e !
Stars: ✭ 72 (-95.93%)
Clear ConfigScala FP configuration library with a focus on runtime clarity
Stars: ✭ 108 (-93.89%)
Reactive formsThis is a model-driven approach to handling form inputs and validations, heavily inspired in Angular's Reactive Forms
Stars: ✭ 135 (-92.37%)
Spring Boot Webflux JjwtExample Spring Boot and WebFlux (Reactive Web) with Spring Security and JWT for token Authentication and Authorization
Stars: ✭ 71 (-95.99%)
Rxjavajdk8interopRxJava 2/3 interop library for supporting Java 8 features such as Optional, Stream and CompletableFuture [discontinued]
Stars: ✭ 70 (-96.04%)
JiosaavnapiAn unofficial API for JioSaavn written in Python 3
Stars: ✭ 123 (-93.05%)
Akka HttpThe Streaming-first HTTP server/module of Akka
Stars: ✭ 1,163 (-34.26%)
MotorcyclejsA statically-typed, functional and reactive framework for modern browsers
Stars: ✭ 107 (-93.95%)
WriteWrite data to the file system, creating any intermediate directories if they don't already exist. Used by flat-cache and many others!
Stars: ✭ 68 (-96.16%)
Reactor NettyTCP/HTTP/UDP/QUIC client/server with Reactor over Netty
Stars: ✭ 1,743 (-1.47%)
FreeiptvFreeIPTV • Watch Free IPTV World Wide
Stars: ✭ 68 (-96.16%)
RikoA Python stream processing engine modeled after Yahoo! Pipes
Stars: ✭ 1,571 (-11.19%)
ToubkalFully reactive programming for nodejs and the browser
Stars: ✭ 67 (-96.21%)
SwiftdiSwiftDI the new way to use your dependency in Swift 5.1
Stars: ✭ 107 (-93.95%)
Stream Go2GetStream.io Go client
Stars: ✭ 67 (-96.21%)
ZipstorerA Pure C# Class to Store Files in Zip
Stars: ✭ 139 (-92.14%)
Milewski Ctfp PdfBartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Stars: ✭ 9,037 (+410.85%)
ForgeFunctional style JSON parsing in Kotlin
Stars: ✭ 106 (-94.01%)
Incremental.netA library for incremental computations. Based on janestreet/incremental (https://github.com/janestreet/incremental) for OCaml.
Stars: ✭ 66 (-96.27%)
RapidoidRapidoid - Extremely Fast, Simple and Powerful Java Web Framework and HTTP Server!
Stars: ✭ 1,571 (-11.19%)
LambdaFun with λ calculus!
Stars: ✭ 65 (-96.33%)
IlluminatiThis is a Platform that collects all the data accuring in your Application and shows the data in real time by using Kibana or other tools.
Stars: ✭ 106 (-94.01%)
Optics TsType-safe, ergonomic, polymorphic optics for TypeScript
Stars: ✭ 132 (-92.54%)
Cats StmAn STM implementation for Cats Effect
Stars: ✭ 106 (-94.01%)
FrameworkAsynchronous & Fault-tolerant PHP Framework for Distributed Applications.
Stars: ✭ 1,125 (-36.4%)
RxasdatasourcesRxDataSource for AsyncDisplayKit/Texture
Stars: ✭ 114 (-93.56%)
DashFunctional programming library for PHP. Inspired by Underscore, Lodash, and Ramda.
Stars: ✭ 84 (-95.25%)
IostreamsIOStreams is an incredibly powerful streaming library that makes changes to file formats, compression, encryption, or storage mechanism transparent to the application.
Stars: ✭ 84 (-95.25%)
FlexProbabilistic deep learning for data streams.
Stars: ✭ 127 (-92.82%)
Lightweightobservable📬 A lightweight implementation of an observable sequence that you can subscribe to.
Stars: ✭ 114 (-93.56%)
Cloud Media ScriptsUpload and stream media from the cloud with or without encryption. Cache all new and recently streamed media locally to access quickly and reduce API calls
Stars: ✭ 84 (-95.25%)