luna's repositories
1inchProtocol
1inch Protocol – fully on-chain DeFi aggregation protocol
aya-dev
The Aya Proof Assistant (WIP)
backend-ico-dashboard
Free & open-source dashboard for your next ICO, crowdsale or tokensale
Cardano-NFT-Auto-Mint
A Cardano NFT vending machine written as a Bash script that runs on top of an existing Linux based Cardano node or can be run on a newly installed one.
CoreLang
Code from/to the book S.L.Peyton Jones, D.Lester: Implementing Functional Languages. A Tutorial, 1992
flink-learning
flink learning blog. http://www.54tianzhisheng.cn/ 含 Flink 入门、概念、原理、实战、性能调优、源码解析等内容。涉及 Flink Connector、Metrics、Library、DataStream API、Table API & SQL 等内容的学习案例,还有 Flink 落地应用的大型项目案例(PVUV、日志存储、百亿数据实时去重、监控告警)分享。欢迎大家支持我的专栏《大数据实时计算引擎 Flink 实战与性能优化》
fp-jargon-zh
函数式编程术语及示例。本项目译自 https://github.com/hemanth/functional-programming-jargon
fracada
Fractionalized Cardano NFT protocol in Plutus.
gitoxide
An idiomatic, lean, fast & safe pure Rust implementation of Git
gluon
A static, type inferred and embeddable language written in Rust.
HBridge
High-performance MQTT Bridge written in Haskell
hstream
The streaming database built for IoT data storage and real-time processing in the 5G Era
IDDD_Samples
These are the sample Bounded Contexts from the book "Implementing Domain-Driven Design" by Vaughn Vernon: http://vaughnvernon.co/?page_id=168
intelliada
IntelliJ Plugin for Cardano Blockchain (Under Development)
k
K Framework Tools 5.0
learning-rust-with-gitoxide
Our sessions when learning Rust with gitoxide
lobster-challenge
Simple Plutus contract to help give Charles' stuffed lobster a name
mu-haskell
Mu (μ) is a purely functional framework for building micro services.
muesliswap-cardano-contracts
Smart Contracts powering AdaMuesliSwap
ooxml-rs
Office OpenXML reader and writer in Rust
perl-scripts
perl scripts
purescript-halogen
A declarative, type-safe UI library for PureScript.
rrweb-to-video
rrweb 原始数据转换成视频
rust_algorithm
leetcode題解
SF-zh
《软件基础》中译版 Software Foundations Chinese Translation
valida
:heavy_check_mark: Simple, elegant, profunctorial, applicative validation for product types!
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.