Git Product home page Git Product logo

Tim Zakian's Projects

blash icon blash

Open hash table with a bloom filter for quick checking of membership in chains.

chapel icon chapel

a Productive Parallel Programming Language

cryptol icon cryptol

Cryptol: The Language of Cryptography

libra icon libra

Libra’s mission is to enable a simple global currency and financial infrastructure that empowers billions of people.

lip icon lip

Libra Improvement Proposals

lz4 icon lz4

Extremely Fast Compression algorithm

move.vim icon move.vim

syntax highlighting and indentation in Vim for the Move smart contract language

pattern-matching icon pattern-matching

Pedagogical implementation of pattern match exhaustiveness checking and compilation

quickplotexamples icon quickplotexamples

A repo that has examples of how to use QuickPlot in Haskell (most of these examples are pulled from Plotly)

serde-reflection icon serde-reflection

Rust libraries and tools to help with interoperability and testing of serialization formats based on Serde.

simd icon simd

simple interface to ghc's simd vector support

sui icon sui

Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.