FanC096

Pinned Repositories

forge-inst-semantics
Language:Lean00
Dafny_Programs
Language:Dafny00
forge
Language:TypeScript00
Forge_Vaccine
Language:Racket00
Game
Language:OCaml00
org.alloytools.alloy
Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.
Language:Java00
Percolation
Language:Java10
workshop-picstream
Learn who to use MongoDB Stitch by creating an Instagram-like Application.
Language:JavaScript00
Summer2022
Lang Party 2022
24 2 251
Forge
Forge: A Tool and Language for Teaching Formal Methods
Language:Racket67 10 718

FanC096's Repositories

FanC096/Percolation
Language:Java10
FanC096/Dafny_Programs
Language:Dafny00
FanC096/forge
Language:TypeScript00
FanC096/Forge_Vaccine
Language:Racket00
FanC096/Game
Language:OCaml00
FanC096/org.alloytools.alloy
Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.
Language:Java00
FanC096/workshop-picstream
Learn who to use MongoDB Stitch by creating an Instagram-like Application.
Language:JavaScript00