shivaram / cs537-sp23-discussionLinks
Code snippets used during lecture and discussion
☆12Updated 2 years ago
Alternatives and similar repositories for cs537-sp23-discussion
Users that are interested in cs537-sp23-discussion are comparing it to the libraries listed below
Sorting:
- ☆11Updated 7 years ago
- ☆11Updated 9 years ago
- ☆21Updated 2 years ago
- Scala Algebra System☆17Updated last week
- implementation of xv6 labs from MIT 6.S081 2020☆12Updated 3 years ago
- Command Line Interface for Scala Native☆18Updated 2 weeks ago
- ☆17Updated this week
- A Scala testing library for homeworks☆10Updated 3 years ago
- Staging area for new benchmarking infrastructure for Scala Native.☆15Updated last year
- Typeclass instances for `parsley` to make it compatible with `cats`☆12Updated 8 months ago
- Friendly fork of Scala.js, target stand-alone Wasm leveraging WASI and Component Model☆24Updated this week
- java.security implementation for Scala Native☆11Updated last week
- newtype and refinement (refined) type for Scala 3☆14Updated last week
- ☆19Updated 3 years ago
- benchmark compilation of Dotty☆17Updated last year
- ☆11Updated last year
- The Princess Theorem Prover☆29Updated this week
- Task datatype, meant for cross-language interop (Java, Kotlin, Scala)☆14Updated 2 months ago
- Projects of CS-537: Intro to Operating Systems (Spring 2019) at University of Wisconsin-Madison using xv6 Operating System☆20Updated 6 years ago
- Working through "Modern Systems Programming with Scala Native" by Richard Whaling, in Scala 3☆28Updated 4 months ago
- Scala 3 Decompiler☆10Updated 4 years ago
- Plugin to produce locales dbs☆11Updated 9 months ago
- Earliest Deadline First - C program☆19Updated 4 years ago
- The fastest way to create complex web applications in Scala!☆17Updated last week
- ☆12Updated 10 months ago
- BigInteger for scala with very fast modPow☆10Updated last week
- Convert case classes to form data automatically (e.g., for Stripe API)☆12Updated 10 months ago
- Small, simple, minimal HTTP library written in Scala.☆11Updated 11 months ago
- Proof assistant based on first-order logic and set theory☆63Updated 2 weeks ago
- ☆13Updated last week