Skip to content
Avatar
🤔
Confused about why this feature exists
🤔
Confused about why this feature exists
144 followers · 66 following

Achievements

Arctic Code Vault Contributor

Achievements

Arctic Code Vault Contributor

Highlights

  • Pro

Organizations

@NixOS @arcane-chat @rhodiumdb
Block or Report

Block or report taktoa

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned

  1. google/xls Public

    XLS: Accelerated HW Synthesis

    C++ 726 94

  2. rhodiumdb/rhodium Public

    A tool that generates a data structure from a schema and some relational queries, using modern database techniques to make queries highly efficient.

    C++ 8

  3. chemsim Public

    An attempt at writing a Lattice Boltzmann CFD simulator in Rust

    Rust 6 1

  4. chessai/hsdatalog Public

    BDD-based implementation of Datalog

    Haskell 31 1

  5. awakesecurity/language-ninja Public

    A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.

    Haskell 33 1

  6. eqsat Public

    A language-generic implementation of equality saturation in Haskell

    Haskell 16 2

174 contributions in the last year

May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Mon Wed Fri
Learn how we count contributions
Less More
NEW! View your contributions in 3D, VR and IRL!
Activity overview
Contributed to google/xls, rhodiumdb/rhodium, taktoa/monocle and 10 other repositories

Contribution activity

May 2022

Created 6 commits in 2 repositories
Created 1 repository
Reviewed 1 pull request in 1 repository
google/xls 1 pull request

Seeing something unexpected? Take a look at the GitHub profile guide.