MaboroshiChan's repositories
clickhouse-haskell
Haskell driver for ClickHouse
hamler-vscode
Hamler syntax extension for VSCode
Acala
Acala - cross-chain DeFi hub and stablecoin based on Substrate for Polkadot and Kusama.
agora
Governance modules for Cardano protocols
bot-plutus-interface
Unofficial PAB implementation
darwin-xnu
The Darwin Kernel (mirror). This repository is a pure mirror and contributions are currently not accepted via pull-requests, please submit your contributions via https://developer.apple.com/bug-reporting/
docTemplates
Simple Project Management and Document Templates in Markdown for Compatibility and Portability
foundry
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
geogebra
GeoGebra apps (mirror)
hamler
Haskell-style functional programming language running on Erlang VM.
hyper
An HTTP library for Rust
lean
Lean Theorem Prover
lighthouse
Ethereum consensus client in Rust
mathlib
Lean mathematical components library
mathquill
Easily type math in your webapp
meilisearch
A lightning-fast search engine that fits effortlessly into your apps, websites, and workflow.
plutus-use-cases
Plutus Use Cases
polars
Fast multi-threaded DataFrame library in Rust | Python | Node.js
rust-libp2p
The Rust Implementation of the libp2p networking stack.
savour-hd
savour core is a go wallet server
specs
Technical specifications for the libp2p networking stack
substrate
Substrate: The platform for blockchain innovators
ts-parsec
Writing a custom parser is a fairly common need. Although there are already parser combinators in others languages, TypeScript provides a powerful and well-structured foundation for building this. Common parser combinators’ weakness are error handling and ambiguity resolving, but these are ts-parsec’s important features. Additionally, ts-parsec provides a very easy to use programming interface, that could help people to build programming-language-scale parsers in just a few hours. This technology has already been used in Microsoft/react-native-tscodegen.
vscode-lean
An extension for VS Code which provides support for the Lean language.
z-botan
TLS for Haskell