Skip to content

Pull requests: google-research/dex-lang

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

Got sets working with new syntax and fixed tests.
#1348 opened May 6, 2024 by duvenaud Loading…
Got FFT working again with new syntax.
#1347 opened Apr 28, 2024 by duvenaud Loading…
Implement erfinv for Float32 and Float64
#1344 opened Dec 31, 2023 by ararslan Loading…
Add Futhark IR module.
#1337 opened Sep 25, 2023 by athas Loading…
Add multisets
#1335 opened Aug 22, 2023 by duvenaud Loading…
Automatic derivation of instances
#1293 opened May 11, 2023 by normanrink Loading…
WIP Draft a system for printing tables aligned by columns.
#1271 opened Apr 5, 2023 by axch Loading…
Upgrade to LLVM 15, support Apple M1.
#1264 opened Apr 4, 2023 by dan-zheng Loading…
4 tasks done
Educational: built-in map primitive
#1093 opened Sep 27, 2022 by normanrink Loading…
Refactor TopEnvFrag
#861 opened Apr 13, 2022 by apaszke Loading…
More work on types for tables examples.
#779 opened Mar 4, 2022 by duvenaud Loading…
WIP: Connecting to ChainRulesCore for JuliaLang AD compat cla: yes
#652 opened Sep 19, 2021 by oxinabox Loading…
3 of 14 tasks
Arithmetic coding demo cla: yes
#631 opened Aug 25, 2021 by cyntsh Loading…
Demo: Speech processing MFCC demo cla: yes
#603 opened Jul 17, 2021 by srush Loading…
CKY CRF example cla: yes
#586 opened Jun 30, 2021 by srush Loading…
Neural network layers example cla: yes
#581 opened Jun 25, 2021 by RobertStanforth Loading…
Discrete Probability Example (Try 3) cla: yes
#558 opened Jun 17, 2021 by srush Loading…
[WIP] Neural Geometric Level of Detail demo cla: yes
#546 opened Jun 14, 2021 by duvenaud Loading…
wip: tutorial on using diagram cla: yes
#533 opened May 15, 2021 by oxinabox Loading…
2 tasks
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.