GithubHelp home page GithubHelp logo

Hi there πŸ‘‹

I'm a software engineer and researcher (an alumnus of HKU PL Group). I'm interested in programming languages and distributed systems. I like functional programming and how its aspects make it into other languages. Rust is my goto language at the moment.

  • πŸ”­ I’m currently working on maintaining the pest parser generator for Rust.
  • 🌱 I’m currently learning ActivityPub.
  • πŸ‘― I’m looking to collaborate on pest3.
  • πŸ€” I’m looking for help with issues on pest.
  • πŸ’¬ Ask me about Rust.
  • πŸ“« How to reach me: ping me on GitHub or LinkedIn
  • ⚑ Fun fact: I'm experimenting with honk, a minimalistic ActivityPub implementation. If you're on Mastodon (or elsewhere on the fediverse), you can follow or say hi to @[email protected].

Tomas Tauber's Projects

abci-rs icon abci-rs

Rust crate for creating ABCI applications

aeads icon aeads

Authenticated Encryption with Associated Data Algorithms: high-level encryption ciphers

aes_keywrap icon aes_keywrap

implementation of RFC 3394 AES key wrapping/unwrapping

aeson icon aeson

A fast Haskell JSON library

awesome icon awesome

😎 Awesome lists about all kinds of interesting topics

aws-nitro-enclaves-sdk-c icon aws-nitro-enclaves-sdk-c

This repo provides a C API for AWS Nitro Enclaves, including a KMS SDK that integrates it with attestation.

bash icon bash

Bash interpreter for the JVM

byteorder-sgx icon byteorder-sgx

Rust library for reading/writing numbers in big-endian and little-endian.

cawesome-wasm icon cawesome-wasm

:sunglasses: Curated list of tools, contracts, and projects working with CosmWasm

chain icon chain

Pre-alpha version prototype of Crypto.com Chainβ›“

chain-main icon chain-main

WIP re-pivoted version of Crypto.com Chainβ›“

chainlibpy icon chainlibpy

Tools for Crypto.org Chain wallet management and offline transaction signing

client icon client

Keybase Go Library, Client, Service, OS X, iOS, Android, Electron

corda icon corda

Corda is a distributed ledger platform designed to record, manage and automate legal agreements between business partners. Designed by (and for) the world's largest financial institutions, it offers a unique response to the privacy and scalability challenges facing decentralised applications.

cosmos-rust icon cosmos-rust

The home of all shared Rust resources for the Cosmos ecosystem.

cosmos-sdk icon cosmos-sdk

:chains: A Framework for Building High Value Public Blockchains :sparkles:

crates icon crates

A collection of open source Rust crates from iqlusion

cronos icon cronos

Cronos is the Crypto.org EVM Chain aims to massively scale the DeFi ecosystem. It is powered by Ethermint, a scalable and interoperable Ethereum, built on Proof-of-Stake with fast-finality using the Cosmos SDK.

datalog icon datalog

A pure Haskell implementation of Datalog

datomic-lt icon datomic-lt

Light Table plugin for interacting with Datomic

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.