Pinned Repositories
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
clickhouse-haskell
Haskell driver for ClickHouse
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/
Data-Analysis-with-python
docTemplates
Simple Project Management and Document Templates in Markdown for Compatibility and Portability
hamler-vscode
Hamler syntax extension for VSCode
mzi-dev
A Dependently Typed Functional Programming Language
Pandemic_Chart
Coronavirus pandemic chart extension for Google chrome
MaboroshiChan's Repositories
MaboroshiChan/clickhouse-haskell
Haskell driver for ClickHouse
MaboroshiChan/hamler-vscode
Hamler syntax extension for VSCode
MaboroshiChan/mzi-dev
A Dependently Typed Functional Programming Language
MaboroshiChan/Acala
Acala - cross-chain DeFi hub and stablecoin based on Substrate for Polkadot and Kusama.
MaboroshiChan/agora
Governance modules for Cardano protocols
MaboroshiChan/bot-plutus-interface
Unofficial PAB implementation
MaboroshiChan/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/
MaboroshiChan/docTemplates
Simple Project Management and Document Templates in Markdown for Compatibility and Portability
MaboroshiChan/foundry
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
MaboroshiChan/geogebra
GeoGebra apps (mirror)
MaboroshiChan/hamler
Haskell-style functional programming language running on Erlang VM.
MaboroshiChan/hstream-store-draft
MaboroshiChan/hyper
An HTTP library for Rust
MaboroshiChan/lean
Lean Theorem Prover
MaboroshiChan/lighthouse
Ethereum consensus client in Rust
MaboroshiChan/mathlib
Lean mathematical components library
MaboroshiChan/mathquill
Easily type math in your webapp
MaboroshiChan/meilisearch
A lightning-fast search engine that fits effortlessly into your apps, websites, and workflow.
MaboroshiChan/move
MaboroshiChan/plutus-use-cases
Plutus Use Cases
MaboroshiChan/polars
Fast multi-threaded DataFrame library in Rust | Python | Node.js
MaboroshiChan/polkadot
Polkadot Node Implementation
MaboroshiChan/rust-libp2p
The Rust Implementation of the libp2p networking stack.
MaboroshiChan/savour-hd
savour core is a go wallet server
MaboroshiChan/specs
Technical specifications for the libp2p networking stack
MaboroshiChan/substrate
Substrate: The platform for blockchain innovators
MaboroshiChan/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.
MaboroshiChan/vscode-lean
An extension for VS Code which provides support for the Lean language.
MaboroshiChan/z-botan
TLS for Haskell
MaboroshiChan/z-data
array, slices and text