- 
                Notifications
    You must be signed in to change notification settings 
- Fork 114
Pull requests: google-research/dex-lang
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
      Fix debug build by adding a missing conditional import
      
    
      
  
        
          #1343
            opened Dec 31, 2023  by
            ararslan
            
        
        
            
    
  
    Loading…
 
        
        
      
    make install was failing after transition to TypeScript last week
      
        
          #1342
            opened Dec 16, 2023  by
            ArkenV
            
        
        
            
    
  
    Loading…
 
        
        
      
    
      Add a Multivariate Normal distribution and expand the GP regression example.
      
    
      
  
        
          #1332
            opened Jul 25, 2023  by
            emilyfertig
            
        
        
            
    
  
    Loading…
 
        
        
      
    
      Make a 
    
      
  BinderAndDecls data type, at first just a wrapper around Binder.
      
        
          #1323
            opened Jul 11, 2023  by
            dougalm
            
        
        
            
    
  
    Loading…
 
        
        
      
    
      WIP Draft a system for printing tables aligned by columns.
      
    
        
          #1271
            opened Apr 5, 2023  by
            axch
            
        
        
            
    
  
    Loading…
 
        
        
      
    
      Use CUDA driver APIs to avoid scheduling too large blocks
        
              
                cla: yes
        
      
    
        
          #690
            opened Nov 15, 2021  by
            apaszke
            
        
        
            
    
  
    Loading…
 
        
        
      
    
      WIP: Connecting to ChainRulesCore for JuliaLang AD compat
        
              
                cla: yes
        
      
    
      
  
        
          #652
            opened Sep 19, 2021  by
            oxinabox
            
        
        
            
    
  
    Loading…
 
        
          
   
        
      
    
      
        
      
      
  
    3 of 14 tasks
  
Previous Next
  
  
  ProTip!
  Mix and match filters to narrow down what you’re looking for.