Giters

Tesseract22 / k

K Framework Tools 7.0 (HW2)

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

CS422(FA2024) HW2

HW2 submission for CS422.

The completed exercises are in the lessons in the k-tutorial file. All of them should have a ans.md, which contains explanations and name of the associated .k files.

About

K Framework Tools 7.0 (HW2)

License:BSD 3-Clause "New" or "Revised" License

Languages

Language:Java 44.1%Language:Python 43.7%Language:Scala 5.1%Language:Makefile 3.3%Language:Shell 2.1%Language:Standard ML 0.6%Language:Nix 0.5%Language:C 0.2%Language:HTML 0.2%Language:JavaScript 0.1%Language:CSS 0.0%Language:Dockerfile 0.0%Language:Pyret 0.0%Language:SMT 0.0%