maboroshichan Goto Github PK

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

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.

hamler-vscode

Hamler syntax extension for VSCode

hsoxlib

Haskell bindings to LibSoX, an audio file-format and effect library

hstream-store-draft

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.

move

mzi-dev

A Dependently Typed Functional Programming Language

pandemic_chart

Coronavirus pandemic chart extension for Google chrome

plutus-use-cases

Plutus Use Cases

polars

Fast multi-threaded DataFrame library in Rust | Python | Node.js

polkadot

Polkadot Node Implementation

rust-libp2p

The Rust Implementation of the libp2p networking stack.

savour-hd

savour core is a go wallet server

scala-json-parser-

A JSON parser written in Scala.

sparser

Parser Combinator implemented in Scala

specs

Technical specifications for the libp2p networking stack