#
stlc
Here are 9 public repositories matching this topic...
write a little simply typed functional language to practice Rust
-
Updated
Jun 6, 2022 - Rust
Guide, Roadmap and List of resources for a Software Tester/Quality Assurance/Test Automation Engineer
python
testing
automation
selenium-webdriver
unittesting
developers
sdlc
stlc
integrationtesting
manualtesting
-
Updated
Aug 31, 2021 - Python
Simply Typed Lambda Calculus
-
Updated
Mar 30, 2021 - JavaScript
-
Updated
Feb 1, 2021 - Haskell
Lambda Calculi Formalizations in Coq using nested datatypes for a type-safe term representation
progress
lambda-calculus
theorem-proving
coq-formalization
preservation
stlc
effect-handlers
effect-system
nested-datatypes
control-operators
-
Updated
Aug 19, 2022 - Coq
It contains all the information about the process, activities and tools used in Quality Assurance process
-
Updated
Jan 28, 2020 - Rich Text Format
Improve this page
Add a description, image, and links to the stlc topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the stlc topic, visit your repo's landing page and select "manage topics."