Skip to content


  • Arctic Code Vault Contributor
  • Pro

Popular repositories

  1. Solutions to 2015's

    Rust 3

  2. Exemplary LLVM function pass implementing Control Flow Flattening.

    C 3 1

  3. Pythonesque interface to the 8051 ISA.


  4. Solution to Eric Wastl's Synacor Challenge (


  5. Solutions to 2016's


  6. Forked from souffle-lang/souffle

    Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.


8 contributions in the last year

Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Mon Wed Fri

Contribution activity

February - November 2020

dwuid has no activity yet for this period.

January 2020

Created 4 commits in 1 repository
Created 1 repository

Opened their first pull request on GitHub in souffle-lang/souffle

Created an issue in souffle-lang/souffle that received 8 comments

Segmentation violation involving number 0x7FFFFFFF

Hello, I encountered a crash in one of my Soufflé queries and reduced the test case. The query itself looks as follows: .number_type Foo .decl Bug(…

Opened 1 other issue in 1 repository

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

You can’t perform that action at this time.