Similar repositories to isabelle-utp/Optics:

• isabelle-utp/Shallow-Expressions github similar
• isabelle-utp/Z_Toolkit github similar
• isabelle-utp/Optics github similar
• isabelle-utp/utp-main github similar
• seL4/l4v github similar
• FStarLang/FStar github similar