Tomas Tauber's Projects
device e405
A new statically-typed and delegation-based object-oriented programming language
e405 kernel port from e400
The full source for http://elm-lang.org/, the home-page of the Elm programming language. Open sourced as a way to teach people how to write and serve Elm code. Follow the instructions in README.md to get the site setup on your own machine.
Socket.io wrapper for Elm.
A (work-in-progress) port of LambdaWars to Elm
Ethermint is a scalable and interoperable Ethereum library, built on Proof-of-Stake with fast-finality using the Cosmos SDK.
Complete Ethereum & Celo library and wallet implementation in Rust. https://docs.rs/ethers
Research middleware compiler from System F-based languages to Java with the Imperative Functional Object encoding
A CosmosSDK application for moving assets on and off of EVM based, POW chains
HackAtom V: prototype contract code for "clawbacks" of native and CW20 tokens
Haskell version of Dedalus (with some datomic-type stuff)
Useful information for new and current MPhil and PhD students in CS @ HKU
Website of the University of Hong Kong Programming Languages Group
IBC Relayer (Hermes) and Modules in Rust
Copy/paste detector for programming source code.
Compares two data cases classes excluding specific field names
L42 main project
RoboWars in Haskell for the London Haskell User group.
Rust crate to connect to Ledger devices
The Light Table IDE
Ruby Instarepl: A Ruby Repl for LightTable
A flexible binary merkle tree implementation in Rust.
MLS architecture
MLS protocol
OSS-Fuzz - continuous fuzzing for open source software.
Overleaf Slackbot
The Elegant Parser