Highlights
- Arctic Code Vault Contributor
- Pro
Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 50 million developers.
Sign up
Pinned
458 contributions in the last year
Contribution activity
August 2020
Created a pull request in google-research/dex-lang that received 1 comment
Add an initial version of the multicore backend
Turns out, that having MDImp in place, we can reuse a lot of the CUDA-related infrastructure for generating multicore CPU code. With this patch (an…
+159
−63
•
1
comment
- Revert the revert of DexRT static linking
- Make the prelude a little bit more polymorphic
- Revert "Link the Dex runtime statically to all LLVM programs we compile"
- Remove the builtin Int and Float types
- Fix CI
- Expose fixed-width types and remove the built-in Bool type
- Link the Dex runtime statically to all LLVM programs we compile
- Rename Real to Float
- Build and link the Dex runtime using Cabal
- Add support for fixed-width integer and floating-point types