-
sui Public
Forked from MystenLabs/suiSui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
Rust Apache License 2.0 UpdatedApr 30, 2026 -
-
-
sui-rust-sdk Public
Forked from MystenLabs/sui-rust-sdkRust Apache License 2.0 UpdatedJun 11, 2025 -
move.vim Public
Forked from 0xmovses/move.vimsyntax highlighting and indentation in Vim for the Move smart contract language
-
-
-
-
Libra’s mission is to enable a simple global currency and financial infrastructure that empowers billions of people.
-
serde-reflection Public
Forked from novifinancial/serde-reflectionRust libraries and tools to help with interoperability and testing of serialization formats based on Serde.
Rust Apache License 2.0 UpdatedJan 14, 2022 -
-
Libra Improvement Proposals
JavaScript Apache License 2.0 UpdatedSep 10, 2021 -
-
-
-
-
Pattern-Matching Public
Pedagogical implementation of pattern match exhaustiveness checking and compilation
Haskell UpdatedNov 14, 2017 -
QuickplotExamples Public
A repo that has examples of how to use QuickPlot in Haskell (most of these examples are pulled from Plotly)
Haskell Apache License 2.0 UpdatedApr 19, 2016 -
blash Public
Open hash table with a bloom filter for quick checking of membership in chains.
C++ Apache License 2.0 UpdatedMar 4, 2016 -
subdatatype-deriving Public
Tooling around seeing if there's a way to "extend" ADTs in Haskell
-
simd Public
Forked from mikeizbicki/simdsimple interface to ghc's simd vector support
Haskell Other UpdatedDec 12, 2014 -
chapel Public
Forked from chapel-lang/chapela Productive Parallel Programming Language
-
cryptol Public
Forked from GaloisInc/cryptolCryptol: The Language of Cryptography
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJul 15, 2014 -
{{ message }}