Pinned Repositories
docs
Documents for Programming Assignments
js-mutest
JavaScript Mutation Testing Tool
js-cov
JavaScript Coverage Profiler
magnet.g8
Mutable Arithmetic Expressions with Generators and Exceptions
tm-examples.g8
Examples of Turing Machines
scala-num-list.g8
Infinite Lists for Number Data Types in Scala
pda-examples.g8
Examples of Pushdown Automata
dfa-eq-min.g8
Equivalence and Minimization of Deterministic Finite Automata
scala-nat-poly.g8
Natural Numbers and Polynomials in Scala
rl-closure.g8
Closure Properties of Regular Languages
KU-PLRG Classroom's Repositories
ku-plrg-classroom/docs
Documents for Programming Assignments
ku-plrg-classroom/tifae.g8
TFAE with Type Inferences
ku-plrg-classroom/cobalt.g8
Comprehension-supported Boolean and Arithmetic Expression with Lists and Tuples
ku-plrg-classroom/scala-adv-feat.g8
Advanced Features in Scala
ku-plrg-classroom/scala-tutorial.g8
Scala Tutorial
ku-plrg-classroom/scala-num-list.g8
Infinite Lists for Number Data Types in Scala
ku-plrg-classroom/scala-nat-poly.g8
Natural Numbers and Polynomials in Scala
ku-plrg-classroom/tm-examples.g8
Examples of Turing Machines
ku-plrg-classroom/rl-closure.g8
Closure Properties of Regular Languages
ku-plrg-classroom/pda-examples.g8
Examples of Pushdown Automata
ku-plrg-classroom/fa-examples.g8
Examples of Finite Automata
ku-plrg-classroom/equiv-re-fa.g8
Equivalence of Regular Expressions and Finite Automata
ku-plrg-classroom/equiv-cfg-pda.g8
ku-plrg-classroom/dfa-eq-min.g8
Equivalence and Minimization of Deterministic Finite Automata
ku-plrg-classroom/vae.g8
AE with Variables
ku-plrg-classroom/trfae.g8
RFAE with Type System
ku-plrg-classroom/tfae.g8
FAE with Type System
ku-plrg-classroom/stfae.g8
TFAE with Subtype Polymorphism
ku-plrg-classroom/rfae.g8
FAE with Recursion and Conditionals
ku-plrg-classroom/ptfae.g8
TFAE with Polymorphic Types
ku-plrg-classroom/mfae.g8
FAE with Mutable Variables
ku-plrg-classroom/magnet.g8
Mutable Arithmetic Expressions with Generators and Exceptions
ku-plrg-classroom/lfae.g8
FAE with Lazy Evaluation
ku-plrg-classroom/kfae.g8
FAE with First-Class Continuations
ku-plrg-classroom/fvae.g8
VAE with First-Class Functions
ku-plrg-classroom/fae.g8
AE with First-Class Functions
ku-plrg-classroom/fae-cps.g8
FAE with Continuation-Passing Style
ku-plrg-classroom/f1vae.g8
VAE with First-Order Functions
ku-plrg-classroom/bfae.g8
FAE with Mutable Boxes
ku-plrg-classroom/battery.g8
BATTERY - Basic and Algebraic Data Type-supported Typed Expressions with Recursions and Polymorphism