PLSysSec/haybale: Symbolic execution of LLVM IR with an engine written in Rustgithub.com·1 pts·sansnomme·0
Tauri: Framework agnostic tools for building highly fast and secure native appsgithub.com·4 pts·sansnomme·0
Brogrammers, Tech Hobbyists, and Coding Peasants in High Techscholarsbank.uoregon.edu·1 pts·sansnomme·0
Microsoft/TextWorld: A sandbox for training reinforcement learning (RL) agentsgithub.com·2 pts·sansnomme·0