stlc

There are 0 repository under stlc topic.

• cybergeekgyan / Software-Tester-QA-

  Guide, Roadmap and List of resources for a Software Tester/Quality Assurance/Test Automation Engineer

  testingautomationselenium-webdrivermanualtestingunittestingintegrationtestingsdlcstlcpythondevelopers
  Language:Python 26

• gergoerdi / stlc-agda

  STLC-related snippets in Agda

  agdalambda-calculusstlctypechecker
  15

• groupoid / alonzo

  🧊 Типізоване ‏-ג‏‎числення

  stlclambda-calculuschurch
  Language:OCaml 15

• PragmaTwice / ichigo-lang

  write a little simply typed functional language to practice Rust

  functional-langtype-checkerdarling-in-the-frankxxruststlc
  Language:Rust 15

• schell / px-lang

  px is an experimental, typed lambda calculus for _

  dsledslgraphicsstlc
  Language:Haskell 9

• MisakaCenter / STLC

  ❄️ Simply typed lambda calculus formalized in Coq, REPL in Haskell.

  simply-typed-lambda-calculusstlcprogramming-language
  Language:Haskell 5

• Kamirus / lambda-formalizations

  Lambda Calculi Formalizations in Coq using nested datatypes for a type-safe term representation

  stlccoq-formalizationlambda-calculusnested-datatypesprogresspreservationtheorem-provingcontrol-operatorseffect-handlerseffect-system
  Language:Coq 4

• archanpatkar / styla

  Simply Typed Lambda Calculus

  functional-programminglambdalambda-calculusstlctyped
  Language:JavaScript 3

• remexre / fstlc

  An STLC to Forth386 compiler.

  stlcforthcompilerrustforth386
  Language:Rust 3

• abhijitdesai28 / software-testing

  this repo contains information about software testing

  excelsdlcstlctestcasestestingtesting-techniquestestscenarios
  0

• AlenaShvedava / Carina

  API & Web Tests. Testing module practical tasks. Internship at Solvd Inc. Bug-tracking systems, SDLC, Carina Framework

  android-studioapiapi-testingappiumhttpinspectorjiramobile-testingpostmanrestselenium-webdriversoaptestrailweb-testingcarina-frameworkagilekanbanscrumstlcxpath
  Language:Java 0

• Nischalkhadka / Quality-Assurance

  It contains all the information about the process, activities and tools used in Quality Assurance process

  qualityquality-assurancequality-controlsdlcstlc
  Language:Rich Text Format 0

• nolakkapali / Theoretical-Knowledge-of-Software-Testing-and-QA

  Theoretical knowledge of software testing and quality assurance

  quality-assurancesoftware-development-lifecyclesoftware-testingstlctypes-of-testing
  0

• boumer7 / standsys

  Разработка блок-схемы для визуализации жизненного цикла тестирования ПО в draw.io

  drawiosoftware-testingstankinstlctesting

• fagun18 / stlc

  STLC(Software Testing Life Cycle)

  software-testsoftware-testingsoftware-testing-toolsstlctestingtesting-tools
  Language:HTML

• sudhakarsdk98 / SDET

  Manual and Automation Testing (Selenium Java)

  automated-testingmanual-testingsdlcbug-life-cyclestlc
  Language:Java