GitHub topics: stlc
MrVamc/MrVamc
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.
Size: 9.77 KB - Last synced at: 15 days ago - Pushed at: 15 days ago - Stars: 0 - Forks: 0
groupoid/alonzo
🧊 Типізоване -גчислення
Language: OCaml - Size: 40 KB - Last synced at: 8 days ago - Pushed at: about 1 year ago - Stars: 16 - Forks: 1
gergoerdi/stlc-agda
STLC-related snippets in Agda
Size: 164 KB - Last synced at: about 2 months ago - Pushed at: about 12 years ago - Stars: 16 - Forks: 1
cybergeekgyan/Software-Tester-QA-
Guide, Roadmap and List of resources for a Software Tester/Quality Assurance/Test Automation Engineer
Language: Python - Size: 9.06 MB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 24 - Forks: 4
sudhakarsdk98/SDET
Manual and Automation Testing (Selenium Java)
Language: Java - Size: 348 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
fagun18/stlc
STLC(Software Testing Life Cycle)
Language: HTML - Size: 26.4 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
nolakkapali/Theoretical-Knowledge-of-Software-Testing-and-QA
Theoretical knowledge of software testing and quality assurance
Size: 5.81 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
Kamirus/lambda-formalizations
Lambda Calculi Formalizations in Coq using nested datatypes for a type-safe term representation
Language: Coq - Size: 388 KB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 1
AlenaShvedava/solvd-laba
API & Web Tests. Testing module practical tasks. Internship at Solvd Inc. Bug-tracking systems, STLC, Carina Framework
Language: Java - Size: 43 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
remexre/fstlc
An STLC to Forth386 compiler.
Language: Rust - Size: 8.04 MB - Last synced at: 28 days ago - Pushed at: about 6 years ago - Stars: 3 - Forks: 0
PragmaTwice/ichigo-lang
write a little simply typed functional language to practice Rust
Language: Rust - Size: 523 KB - Last synced at: 22 days ago - Pushed at: almost 2 years ago - Stars: 15 - Forks: 0
schell/px-lang
px is an experimental, typed lambda calculus for _
Language: Haskell - Size: 23.4 KB - Last synced at: about 1 month ago - Pushed at: about 6 years ago - Stars: 9 - Forks: 0
trackoor/STLC
❄️ Simply typed lambda calculus formalized in Coq, REPL in Haskell.
Language: Haskell - Size: 8.79 KB - Last synced at: 30 days ago - Pushed at: over 4 years ago - Stars: 5 - Forks: 0
archanpatkar/styla
Simply Typed Lambda Calculus
Language: JavaScript - Size: 225 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 3 - Forks: 0
