stlc
Here are 19 public repositories matching this topic...
Introduced subtyping into Simply Typed Lambda Calculus (STLC), allowing for more flexible type assignments following Liskov’s Substitution Principle. We implemented an algorithmically driven type system supporting subtyping, and then expanded it with joins and meets, based on TaPL by Pierce.
-
Updated
May 13, 2025 - OCaml
❄️ Simply typed lambda calculus formalized in Coq, REPL in Haskell.
-
Updated
Feb 1, 2021 - Haskell
write a little simply typed functional language to practice Rust
-
Updated
Jul 22, 2023 - Rust
Hi there! 👋 I'm Vamshi, a passionate SDET. I love exploring new technologies and applying them to solve real-world problems. My repository features various projects, including a comprehensive 10-day Python course designed to help beginners master the basics of Python programming.
-
Updated
May 16, 2025
The repository provides an automation testing demo for the Cura Health Care application, using scripts to verify its functionality and performance.
-
Updated
Jan 19, 2025 - HTML
this repo contains information about software testing
-
Updated
Nov 30, 2023
Theoretical knowledge of software testing and quality assurance
-
Updated
Dec 22, 2023
Разработка блок-схемы для визуализации жизненного цикла тестирования ПО в draw.io
-
Updated
Mar 8, 2024
Simply Typed Lambda Calculus
-
Updated
Mar 30, 2021 - JavaScript
STLC(Software Testing Life Cycle)
-
Updated
Feb 29, 2024 - HTML
Manual and Automation Testing (Selenium Java)
-
Updated
Mar 20, 2024 - Java
Lambda Calculi Formalizations in Coq using nested datatypes for a type-safe term representation
-
Updated
Sep 15, 2022 - Coq
Guide, Roadmap and List of resources for a Software Tester/Quality Assurance/Test Automation Engineer
-
Updated
Aug 31, 2021 - Python
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."