Skip to content
View janpaulpl's full-sized avatar
🧑‍🍳
Cooking
🧑‍🍳
Cooking
51 followers · 135 following

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx2Achievement: YOLOAchievement: Arctic Code Vault Contributor

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx2Achievement: YOLOAchievement: Arctic Code Vault Contributor

Organizations

@gradual-verification @SIGPLAN-AV @CS-651

Block or report janpaulpl

Report abuse

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

Report abuse
janpaulpl/README.md

Pinned Loading

  1. janpaulpl.github.io janpaulpl.github.io Public

    A cute lil' website I made :)

    HTML 1

  2. A custom rendering of fm6k that has ... A custom rendering of fm6k that has quotes and funnies
    1 
    #!/usr/bin/env perl
    2 
    
              
    
              
    
                3
                
    # Dilbert themed system info fetch tool
    
              
    
              
    
                4
                
    # https://github.com/anhsirk0/fetch-master-6000
    
              
    
              
    
                5
                
    
              
    
          
    
    
    
  
    

    3. 

      
  3. 
  
    
    
    
      
    
        
    
            
          SIGPLAN/SIGPLAN.github.io  SIGPLAN/SIGPLAN.github.io          Public
        
    
      
    


      
    
        SIGPLAN website
      
    

      
    
          
  
  HTML


          
            
    

            13
          
          
            
    

            52
          
      
    
    
    
  
    

    4. 

      
  4. 
  
    
    
    
      
    
        
    
            
          NetQIR  NetQIR          Public
        
    
      
    


      
    
        
      
    

      
    
          
  
  TeX


      
    
    
    
  
    

    5. 

      
  5. 
  
    
    
    
      
    
        
    
            
          plausibility-proofs  plausibility-proofs          Public
        
    
      
    


      
    
        Proofs for Halpern's Plausibility Measures in Lean
      
    

      
    
          
  
  Lean


      
    
    
    
  
    

    6. 

      
  6. 
  
    
    
    
      
    
        
    
            
          default-racket  default-racket          Public
        
    
      
    


      
    
        Sound Default Typed Scheme
      
    

      
    
          
  
  Racket


          
            
    

            2
          
      
    
    
    
  
    

    7.