luna (haskell-monad)

haskell-monad

Geek Repo

Location:China Beijing

Home Page:https://haskell-monad.github.io/blog

Github PK Tool:Github PK Tool

luna's repositories

amazonka

https://github.com/wireapp/amazonka/archive/wire-2019-01-25.tar.gz

Language:HaskellLicense:NOASSERTIONStargazers:1Issues:3Issues:0

aws

Amazon Web Services for Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

axel

Haskell + Lisp

License:BSD-3-ClauseStargazers:0Issues:0Issues:0

aya-dev

The Aya Proof Assistant (WIP)

License:GPL-3.0Stargazers:0Issues:0Issues:0

CoreLang

Code from/to the book S.L.Peyton Jones, D.Lester: Implementing Functional Languages. A Tutorial, 1992

License:NOASSERTIONStargazers:0Issues:0Issues:0

dddsample-core

This is the new home of the original DDD Sample app (previously hosted at sf.net)..

License:MITStargazers:0Issues:0Issues:0
Language:JavaStargazers:0Issues:0Issues:0

flink-learning

flink learning blog. http://www.54tianzhisheng.cn/ 含 Flink 入门、概念、原理、实战、性能调优、源码解析等内容。涉及 Flink Connector、Metrics、Library、DataStream API、Table API & SQL 等内容的学习案例,还有 Flink 落地应用的大型项目案例(PVUV、日志存储、百亿数据实时去重、监控告警)分享。欢迎大家支持我的专栏《大数据实时计算引擎 Flink 实战与性能优化》

License:Apache-2.0Stargazers:0Issues:0Issues:0
Language:DartStargazers:0Issues:0Issues:0

fp-jargon-zh

函数式编程术语及示例。本项目译自 https://github.com/hemanth/functional-programming-jargon

Stargazers:0Issues:0Issues:0

frege

Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.

License:NOASSERTIONStargazers:0Issues:0Issues:0

gluon

A static, type inferred and embeddable language written in Rust.

License:MITStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

haskell-trainings

Haskell 101 and 102: slides and codelabs

License:Apache-2.0Stargazers:0Issues:0Issues:0

HBridge

High-performance MQTT Bridge written in Haskell

License:BSD-3-ClauseStargazers:0Issues:0Issues:0

hstream

The streaming database built for IoT data storage and real-time processing in the 5G Era

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

IDDD_Samples

These are the sample Bounded Contexts from the book "Implementing Domain-Driven Design" by Vaughn Vernon: http://vaughnvernon.co/?page_id=168

License:NOASSERTIONStargazers:0Issues:0Issues:0

intelliada

IntelliJ Plugin for Cardano Blockchain (Under Development)

Stargazers:0Issues:0Issues:0

k

K Framework Tools 5.0

License:NOASSERTIONStargazers:0Issues:0Issues:0

mu-haskell

Mu (μ) is a purely functional framework for building micro services.

License:Apache-2.0Stargazers:0Issues:0Issues:0

ooxml-rs

Office OpenXML reader and writer in Rust

Stargazers:0Issues:0Issues:0

perl-scripts

perl scripts

Language:PerlStargazers:0Issues:0Issues:0

rrweb-to-video

rrweb 原始数据转换成视频

Stargazers:0Issues:0Issues:0

rust_algorithm

leetcode題解

Language:RustStargazers:0Issues:0Issues:0

SF-zh

《软件基础》中译版 Software Foundations Chinese Translation

Stargazers:0Issues:0Issues:0

tracing

Distributed tracing

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

vlingo-lattice

The vlingo/PLATFORM tooling for reactive Domain-Driven Design models that are highly concurrent. Includes Compute Grid, Actor Caching, Object Spaces, Cluster Cross-Node Messaging, CQRS, and Event Sourcing support.

Language:JavaLicense:MPL-2.0Stargazers:0Issues:0Issues:0

wire-server

🇪🇺 Wire back-end services

License:AGPL-3.0Stargazers:0Issues:0Issues:0

wire-server-deploy

Code to install/deploy wire-server (on kubernetes)

License:AGPL-3.0Stargazers:0Issues:0Issues:0

write-you-a-haskell

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

License:MITStargazers:0Issues:0Issues:0