Package proper cross-compilersa project by rguenther openSUSE lacks useable cross-compilers to glibc systems. This is the attempt to provide those, most important a cross-compiler for arm/aarch64. |
Static analyzer of Lua languagea project by NalaGinrut I'm trying to write a static analyzer for Lua programming language. And I've ready done some parts, say, lexer/parser/AST/types...etc. The challenge part at present, is to write comment-based type annotation, for later type-inference. I plan to implement it in a week. I've spent years on this area. Hope I'm lucky in hackweek. |
Teach RuboCop to Resocialize Zombiesa project by mvidner or: Static Analysis of nil Values in Ruby Code used in YaST. YaST is written in Ruby. A large part of the code is Ruby that was |
Dictu Languagea project by bdowns328 Project DescriptionDictu is a new scripting language with features and capabilities of other major languages without giving up speed but also providing a familiar syntax and user experience. The hackweek effort would be a hard push towards features pushing Dictu closer to mainstream adoption. |
SMTGCCa project by fkastl Project DescriptionThere's a project experimenting with verifying GCC optimizations using SMT solvers. Currently there is only one person working on this project. Analyzing compilers with SMT solvers seems like a cool new topic to me. Let's see how we could help. |
Tungsten: A low-level LLVM programming languagea project by mfriedrich Project Description> Tungsten is supposed to be a memory-safe and type-safe language front-end for LLVM which borrows many elements from C and C# syntax. |