Explore projects

S

Brandl, Katharina / sturdy
BSD 3-Clause "New" or "Revised" License

Sturdy is a library to create sound abstract interpreters in Haskell.

0

Updated Feb 11, 2021

0 0 0 0

Updated Feb 11, 2021
Pree, Tomislav / bauernmarkt

0

Updated Jan 31, 2021

0 0 0 0

Updated Jan 31, 2021
R

Gregor Hubrich / Radik Portfolio
Other

0

Updated Jan 08, 2021

0

Updated Jan 08, 2021