David Lazar
                                        Results
                                        8
                                        repositories owned by
                                        
                                
                                            David Lazar
                                        
                                    llvm-semantics
                            
                                42
                            
                            
                        
                        Stars
                    
                            
                                9
                            
                            
                        
                        Forks
                    Watchers
                    Formal semantics of LLVM IR in K
seal
                            
                                18
                            
                            
                        
                        Stars
                    
                            
                                1
                            
                            
                        
                        Forks
                    Watchers
                    Easily encrypt files, notes, and passwords